diff options
-rwxr-xr-x | buildconf | 22 |
1 files changed, 22 insertions, 0 deletions
@@ -33,6 +33,28 @@ if test "$dev" = "0" -a "$devok" = "0"; then fi if test -z "$ZENDDIR"; then + if grep "PHP_MAJOR_VERSION 5" main/php_version.h >/dev/null; then + v=5 + else + v=4 + fi + + if test "$v" = "5"; then + if test -r "Zend/OBJECTS2_HOWTO"; then + : + else + mv Zend ZendEngine1 2>/dev/null + mv ZendEngine2 Zend + fi + else + if test -r "Zend/zend_execute_globals.h"; then + : + else + mv Zend ZendEngine2 2>/dev/null + mv ZendEngine1 Zend + fi + fi + ZENDDIR=Zend echo "using default Zend directory" fi |