git.m6w6.name Git - m6w6/ext-raphf/blob - config0.m4

   1 PHP_ARG_ENABLE(raphf, whether to enable raphf support,
   2 [  --enable-raphf         Enable resource and persistent handles factory support])
   3
   4 if test "$PHP_RAPHF" != "no"; then
   5         PHP_RAPHF_SRCDIR=PHP_EXT_SRCDIR(raphf)
   6         PHP_RAPHF_BUILDDIR=PHP_EXT_BUILDDIR(raphf)
   7
   8         PHP_ADD_INCLUDE($PHP_RAPHF_SRCDIR/src)
   9         PHP_ADD_BUILD_DIR($PHP_RAPHF_BUILDDIR/src)
  10
  11         PHP_RAPHF_HEADERS=`(cd $PHP_RAPHF_SRCDIR/src && echo *.h)`
  12         PHP_RAPHF_SOURCES=`(cd $PHP_RAPHF_SRCDIR && echo src/*.c)`
  13
  14         PHP_NEW_EXTENSION(raphf, $PHP_RAPHF_SOURCES, $ext_shared)
  15         PHP_INSTALL_HEADERS(ext/raphf, php_raphf.h $PHP_RAPHF_HEADERS)
  16
  17         PHP_SUBST(PHP_RAPHF_HEADERS)
  18         PHP_SUBST(PHP_RAPHF_SOURCES)
  19
  20         PHP_SUBST(PHP_RAPHF_SRCDIR)
  21         PHP_SUBST(PHP_RAPHF_BUILDDIR)
  22
  23         PHP_ADD_MAKEFILE_FRAGMENT
  24 fi