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