Searched refs:php_version (Results 1 – 11 of 11) sorted by relevance
4 $php_version = $argv[1]; variable17 $dist_dir = $build_dir . "/php-" . $php_version;18 $test_dir = $build_dir . "/php-test-pack-" . $php_version;19 $pecl_dir = $build_dir . "/pecl-" . $php_version;288 Version: $php_version
9 #include "main/php_version.h"
12 #include "../main/php_version.h"
192 …php_version=`$PHP_CONFIG --version 2>/dev/null|head -n 1|$PHP_OCI8_SED -e 's#\([0-9]\.[0-9]*\.[0-9…194 php_version=`echo "$tmp_version"|$PHP_OCI8_SED -e 's#\([0-9]\.[0-9]*\.[0-9]*\)\(.*\)#\1#'`197 if test -z "$php_version"; then203 set $php_version208 …ERROR([You need at least PHP 5.2.0 to be able to use this version of OCI8. PHP $php_version found])210 AC_MSG_RESULT([$php_version, ok])
130 echo "/* automatically generated by configure */" > php_version.h.new131 echo "/* edit configure.ac to change version number */" >> php_version.h.new132 echo "#define PHP_MAJOR_VERSION $PHP_MAJOR_VERSION" >> php_version.h.new133 echo "#define PHP_MINOR_VERSION $PHP_MINOR_VERSION" >> php_version.h.new134 echo "#define PHP_RELEASE_VERSION $PHP_RELEASE_VERSION" >> php_version.h.new136 echo "#define PHP_VERSION \"$PHP_VERSION\"" >> php_version.h.new137 echo "#define PHP_VERSION_ID $PHP_VERSION_ID" >> php_version.h.new138 cmp php_version.h.new $srcdir/main/php_version.h >/dev/null 2>&1140 rm -f $srcdir/main/php_version.h && mv php_version.h.new $srcdir/main/php_version.h && \141 echo 'Updated main/php_version.h'[all …]
68 5. Bump the version numbers in ``main/php_version.h``, ``configure.ac`` and possibly ``NEWS``.82 10. Bump the version numbers in ``main/php_version.h``, ``configure.ac`` and ``NEWS``166 and bump the version numbers in ``main/php_version.h``, ``configure.ac`` and possibly ``NEWS``.341 3. Request karma to eding main/php_version.h. Possibly karma for other restricted parts of
80 php_version.h
1059 $php_version = urlencode(TESTED_PHP_VERSION);1062 fwrite($fs, "POST " . $path . "?status=$status&version=$php_version HTTP/1.1\r\n");
16 $php_version = (int)str_replace('.', '', PHP_VERSION);
Completed in 31 milliseconds