jlengrand/asdf-php
1
0
Fork 0
mirror of https://github.com/jlengrand/asdf-php.git synced 2026-03-10 08:01:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

feat: make gmp flag configurable

Browse Source
This commit is contained in:
susurri
2020-11-30 01:04:40 +09:00
parent ba85be6aa3
commit 1f2fd044d5
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
bin/install
View File

@@ -90,7 +90,6 @@ construct_configure_options() {
--with-xmlrpc \ --with-xmlrpc \
--with-zip \ --with-zip \
--with-zlib \ --with-zlib \
--without-gmp \
--without-snmp" --without-snmp"
if [ "$PHP_CONFIGURE_OPTIONS" = "" ]; then if [ "$PHP_CONFIGURE_OPTIONS" = "" ]; then
@@ -99,6 +98,12 @@ construct_configure_options() {
local configure_options="$PHP_CONFIGURE_OPTIONS $global_config" local configure_options="$PHP_CONFIGURE_OPTIONS $global_config"
fi fi
if [ "${PHP_WITH_GMP:-no}" != "no" ]; then
configure_options="$configure_options --with-gmp"
else
configure_options="$configure_options --without-gmp"
fi
if [ "${PHP_WITHOUT_PEAR:-no}" != "no" ]; then if [ "${PHP_WITHOUT_PEAR:-no}" != "no" ]; then
configure_options="$configure_options --without-pear" configure_options="$configure_options --without-pear"
else else