actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-10-31 23:36:21 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fail-fast if input repository does not have a PHP extension

Browse Source
This commit is contained in:
Shivam Mathur
2021-03-11 10:14:56 +05:30
parent f5f14c3aa3
commit c870bc9a3a
1 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/scripts/common.sh
View File

@ -329,11 +329,16 @@ add_extension_from_github() {
delete_extension "$extension"
git clone -q -n https://github.com/"$org"/"$repo" /tmp/"$repo-$release"
cd /tmp/"$repo-$release" || exit 1
git checkout -q "$release" && git submodule -q update --init --recursive
git checkout -q "$release"
if [ "$(find . -maxdepth 1 -name '*.m4' -exec grep -H 'PHP_NEW_EXTENSION' {} \;| wc -l)" != "0" ]; then
git submodule -q update --init --recursive
add_libs "${libs[@]}"
phpize && sudo "${prefix_opts[@]}" ./configure "${suffix_opts[@]}" "${opts[@]}"
sudo make -j"$(nproc 2>/dev/null || sysctl -n hw.ncpu)" && sudo make install
enable_extension "$extension" "$prefix"
else
add_log "$cross" "$slug" "Provided repository does not contain a PHP extension"
fi
) | sudo tee "/tmp/$extension@$release.log" >/dev/null
add_extension_log "$slug" "Installed and enabled"
printf "::group::\033[34;1m%s \033[0m\033[90;1m%s \033[0m\n" "$slug" "Click to get the logs of compiling $extension"