actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2024-11-22 11:51:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

Add support for adding libraries when building extensions from source

Browse Source
This commit is contained in:
Shivam Mathur 2021-03-11 06:50:01 +05:30
parent a9a6d1986e
commit c7736a605a
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/scripts/common.sh
View File

@ -291,6 +291,16 @@ php_src_tag() {
echo "$php_src_tag"
}
# Function to add required libraries
add_libs() {
libs=("$@")
if [ "$(uname -s)" = "Linux" ]; then
install_packages "${libs[@]}"
else
brew install "${libs[@]}"
fi
}
# Function to install extension from a GitHub repository
add_extension_from_github() {
extension=$1
@ -298,6 +308,8 @@ add_extension_from_github() {
repo=$3
release=$4
prefix=$5
libs_var="${extension}_LIBS"
IFS=' ' read -r -a libs <<< "${!libs_var}"
(
add_devtools phpize
delete_extension "$extension"
@ -305,6 +317,7 @@ add_extension_from_github() {
cd /tmp/"$repo-$release" || exit 1
git checkout "$release" || exit 1
git submodule update --init --recursive || exit 1
add_libs "${libs[@]}"
phpize && ./configure && make -j"$(nproc)" && sudo make install
enable_extension "$extension" "$prefix"
) >/dev/null 2>&1