diff --git a/bin/install b/bin/install index f268fa5..5bfc9ed 100755 --- a/bin/install +++ b/bin/install @@ -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