summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorfoobar <sniper@php.net>2006-07-27 08:50:41 +0000
committerfoobar <sniper@php.net>2006-07-27 08:50:41 +0000
commitf0fe4e05b91b5a6815ee056dee204262810b862f (patch)
tree889020c881dd5f0ddac20a4fe590c1dc37e504c1 /scripts
parent0eb028291203b2ddddf7f37b87e2da45dafabfb6 (diff)
downloadphp-git-f0fe4e05b91b5a6815ee056dee204262810b862f.tar.gz
- Added PHP_VERSION_ID == PHP_VERSION as integer value.
Diffstat (limited to 'scripts')
-rw-r--r--scripts/man1/php-config.1.in4
-rw-r--r--scripts/php-config.in5
2 files changed, 8 insertions, 1 deletions
diff --git a/scripts/man1/php-config.1.in b/scripts/man1/php-config.1.in
index 78d2b4b1fd..9355b4bc29 100644
--- a/scripts/man1/php-config.1.in
+++ b/scripts/man1/php-config.1.in
@@ -43,6 +43,10 @@ Full path to php CLI/CGI binary
.B \-\-version
PHP version
.TP
+.PD 0
+.B \-\-vernum
+PHP version as integer
+.TP
.PD 1
.P
.SH SEE ALSO
diff --git a/scripts/php-config.in b/scripts/php-config.in
index b53facbdbc..7937779b13 100644
--- a/scripts/php-config.in
+++ b/scripts/php-config.in
@@ -3,6 +3,7 @@
prefix="@prefix@"
exec_prefix="@exec_prefix@"
version="@PHP_VERSION@"
+version_id="@PHP_VERSION_ID@"
includedir="@includedir@/php"
includes="-I$includedir -I$includedir/main -I$includedir/TSRM -I$includedir/Zend -I$includedir/ext -I$includedir/ext/date/lib"
ldflags="@PHP_LDFLAGS@"
@@ -30,8 +31,10 @@ case "$1" in
echo $php_binary;;
--version)
echo $version;;
+--vernum)
+ echo $version_id;;
*)
- echo "Usage: $0 [--prefix|--includes|--ldflags|--libs|--extension-dir|--include-dir|--php-binary|--version]"
+ echo "Usage: $0 [--prefix|--includes|--ldflags|--libs|--extension-dir|--include-dir|--php-binary|--version|--vernum]"
exit 1;;
esac