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

Merge pull request #68 from susurri/gmp

Browse Source 
feat: make gmp flag configurable
This commit is contained in:
Sora Morimoto
2020-12-02 11:48:38 +09:00
committed by GitHub
parent ba85be6aa3 1f2fd044d5
commit 9b49789ca3
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-zip \
--with-zlib \
--without-gmp \
--without-snmp"
if [ "$PHP_CONFIGURE_OPTIONS" = "" ]; then
@@ -99,6 +98,12 @@ construct_configure_options() {
local configure_options="$PHP_CONFIGURE_OPTIONS $global_config"
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
configure_options="$configure_options --without-pear"
else