clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-21 09:57:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

add ini config details to php-config

Browse Source
This commit is contained in:
Joe Watkins 2019-06-26 12:49:01 +02:00
parent 57424f272c
commit 2d5f277a2d
No known key found for this signature in database
GPG Key ID: F9BA0ADA31CBD89E
1 changed files with 8 additions and 0 deletions
Show Stats 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]