Fix releases link
[m6w6/ext-raphf] / 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