summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorfoobar <sniper@php.net>2006-07-27 08:53:16 (GMT)
committerfoobar <sniper@php.net>2006-07-27 08:53:16 (GMT)
commit7625313f9c2e62b8b46adaeedbdc247ad3c8c90c (patch)
tree564bb6c7004a8497be3bdd0521cdd4aa3dacabb5 /scripts
parentee97ffd887441557db8aa3cb8d78c02c07274755 (diff)
downloadphp-7625313f9c2e62b8b46adaeedbdc247ad3c8c90c.tar.gz
MFH: - Added PHP_VERSION_ID == PHP_VERSION as integer.
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 78d2b4b..9355b4b 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 b53facb..7937779 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