You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

56 lines
1.7 KiB

24 years ago
24 years ago
24 years ago
  1. #! /bin/sh
  2. prefix='@prefix@'
  3. phpdir="$prefix/lib/php/build"
  4. includedir="$prefix/include/php"
  5. builddir="`pwd`"
  6. FILES_BUILD="mkdep.awk scan_makefile_in.awk shtool"
  7. FILES="acinclude.m4 Makefile.global"
  8. CLEAN_FILES="$FILES *.lo *.la *.o .deps .libs/ build/ include/ modules/ install-sh \
  9. mkinstalldirs missing config.nice config.sub config.guess configure configure.in \
  10. aclocal.m4 config.h config.h.in conftest* ltmain.sh libtool config.cache \
  11. config.log config.status Makefile Makefile.fragments Makefile.objects"
  12. if test ! -r config.m4; then
  13. echo "Cannot find config.m4. "
  14. echo "Make sure that you run $0 in the top level source directory of the module"
  15. exit 1
  16. fi
  17. # Cleanup
  18. if test "$1" = "--clean"; then
  19. echo "Cleaning.."
  20. for i in $CLEAN_FILES; do
  21. test -e && rm -rf $i
  22. done
  23. exit 0
  24. fi
  25. test -d build || mkdir build
  26. (cd $phpdir && cp $FILES_BUILD "$builddir"/build)
  27. (cd $phpdir && cp $FILES "$builddir")
  28. sed \
  29. -e "s#@prefix@#$prefix#" \
  30. < $phpdir/phpize.m4 > configure.in
  31. touch install-sh mkinstalldirs missing
  32. aclocal || exit 1
  33. autoconf || exit 1
  34. autoheader || exit 1
  35. libtoolize -f -c || exit 1
  36. # dumping API NOs:
  37. PHP_API_VERSION=`grep -E '#define PHP_API_VERSION' $includedir/main/php.h|sed 's/#define PHP_API_VERSION//'`
  38. ZEND_MODULE_API_NO=`grep -E '#define ZEND_MODULE_API_NO' $includedir/Zend/zend_modules.h|sed 's/#define ZEND_MODULE_API_NO//'`
  39. ZEND_EXTENSION_API_NO=`grep -E '#define ZEND_EXTENSION_API_NO' $includedir/Zend/zend_extensions.h|sed 's/#define ZEND_EXTENSION_API_NO//'`
  40. echo "Configuring for:"
  41. echo " PHP Api Version: "$PHP_API_VERSION
  42. echo " Zend Module Api No: "$ZEND_MODULE_API_NO
  43. echo " Zend Extension Api No: "$ZEND_EXTENSION_API_NO
  44. exit 0