archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 21:48:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Merge branch 'PHP-7.4'

Browse source 
* PHP-7.4:
  add ini config details to php-config
This commit is contained in:
Joe Watkins 2019-06-29 05:26:38 +02:00
commit 5f25cd6ed7
No known key found for this signature in database
GPG key ID: F9BA0ADA31CBD89E
1 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
scripts/php-config.in
View file

@ -19,6 +19,8 @@ php_cli_binary=NONE
php_cgi_binary=NONE php_cgi_binary=NONE
configure_options="@CONFIGURE_OPTIONS@" configure_options="@CONFIGURE_OPTIONS@"
php_sapis="@PHP_INSTALLED_SAPIS@" php_sapis="@PHP_INSTALLED_SAPIS@"
ini_dir="@EXPANDED_PHP_CONFIG_FILE_SCAN_DIR@"
ini_path="@EXPANDED_PHP_CONFIG_FILE_PATH@"
# Set php_cli_binary and php_cgi_binary if available # Set php_cli_binary and php_cgi_binary if available
for sapi in $php_sapis; do for sapi in $php_sapis; do
@ -63,6 +65,10 @@ case "$1" in
echo $configure_options;; echo $configure_options;;
--man-dir) --man-dir)
echo $man_dir;; echo $man_dir;;
--ini-path)
echo $ini_path;;
--ini-dir)
echo $ini_dir;;
--version) --version)
echo $version;; echo $version;;
--vernum) --vernum)
@ -80,6 +86,8 @@ Options:
--man-dir [$man_dir] --man-dir [$man_dir]
--php-binary [$php_binary] --php-binary [$php_binary]
--php-sapis [$php_sapis] --php-sapis [$php_sapis]
--ini-path [$ini_path]
--ini-dir [$ini_dir]
--configure-options [$configure_options] --configure-options [$configure_options]
--version [$version] --version [$version]
--vernum [$vernum] --vernum [$vernum]