1 PHP_ARG_ENABLE(psi, whether to enable PHP System Interface support,
2 [ --enable-psi Enable PHP System Interface support])
4 if test "$PHP_PSI" != no; then
5 PHP_CONFIGURE_PART(Configuring PSI)
7 PHP_PSI_SRCDIR=PHP_EXT_SRCDIR(psi)
8 PHP_PSI_BUILDDIR=PHP_EXT_BUILDDIR(psi)
10 sinclude(config.ax_check_sign.m4)
11 sinclude(config.psi.m4)
12 sinclude(config.psi_type.m4)
13 sinclude(config.psi_const.m4)
14 sinclude(config.psi_decl.m4)
15 sinclude(config.psi_macro.m4)
16 sinclude(config.psi_struct.m4)
18 sinclude(config.psi_errno.m4)
19 sinclude(config.psi_glob.m4)
20 sinclude(config.psi_stddef.m4)
21 sinclude(config.psi_stdio.m4)
22 sinclude(config.psi_stdint.m4)
23 sinclude(config.psi_sys_types.m4)
40 echo PSI_TYPES=$PSI_TYPES
41 echo PSI_MACROS=$PSI_MACROS
42 echo PSI_REDIRS=$PSI_REDIRS
43 echo PSI_DECLS=$PSI_DECLS
44 echo PSI_STRUCTS=$PSI_STRUCTS
46 PHP_SUBST(PSI_SHARED_LIBADD)
48 PHP_ADD_INCLUDE($PHP_PSI_SRCDIR/src)
49 PHP_ADD_BUILD_DIR($PHP_PSI_BUILDDIR/src)
51 PHP_PSI_HEADERS=`(cd $PHP_PSI_SRCDIR/src && echo *.h)`
52 PHP_PSI_SOURCES="src/parser_proc.c src/parser.c src/module.c src/context.c"
53 PHP_PSI_SOURCES="$PHP_PSI_SOURCES src/libjit.c src/libffi.c"
55 PHP_NEW_EXTENSION(psi, $PHP_PSI_SOURCES, $ext_shared)
56 PHP_INSTALL_HEADERS(ext/psi, php_psi.h $PHP_PSI_HEADERS)
58 PHP_SUBST(PHP_PSI_HEADERS)
59 PHP_SUBST(PHP_PSI_SOURCES)
61 PHP_SUBST(PHP_PSI_SRCDIR)
62 PHP_SUBST(PHP_PSI_BUILDDIR)
64 PHP_ADD_MAKEFILE_FRAGMENT