1 PHP_ARG_ENABLE(psi, whether to enable PHP System Interface support,
2 [ --enable-psi Enable PHP System Interface support])
4 PHP_PSI_SRCDIR=PHP_EXT_SRCDIR(psi)
5 PHP_PSI_BUILDDIR=PHP_EXT_BUILDDIR(psi)
36 sinclude([m4/]incfile)
38 sinclude([ext/psi/m4/]incfile)
41 if test "$PHP_PSI" != no; then
42 PHP_CONFIGURE_PART(Configuring PSI)
75 PHP_SUBST(PSI_SHARED_LIBADD)
77 AC_DEFINE_UNQUOTED(PHP_PSI_SHLIB_SUFFIX, ["$SHLIB_SUFFIX_NAME"], DL suffix)
79 AC_DEFINE_UNQUOTED([PSI_STDINC], [$PSI_STDINC], [Standard includes])
80 AC_DEFINE_UNQUOTED([PSI_TYPES], [$PSI_TYPES], [Predefined types])
81 AC_DEFINE_UNQUOTED([PSI_STRUCTS], [$PSI_STRUCTS], [Predefined structs])
82 AC_DEFINE_UNQUOTED([PSI_CONSTS], [$PSI_CONSTS], [Predefined constants])
83 AC_DEFINE_UNQUOTED([PSI_MACROS], [$PSI_MACROS], [Redirected Macros])
84 AC_DEFINE_UNQUOTED([PSI_REDIRS], [$PSI_REDIRS], [Redirected functions])
85 AC_DEFINE_UNQUOTED([PSI_DECLS], [$PSI_DECLS], [Predefined functions])
86 AC_DEFINE_UNQUOTED([PSI_VA_DECLS], [$PSI_VA_DECLS], [Predefined vararg functions])
88 PHP_ADD_INCLUDE($PHP_PSI_SRCDIR/src)
89 PHP_ADD_BUILD_DIR($PHP_PSI_BUILDDIR/src)
91 PHP_PSI_HEADERS=`(cd $PHP_PSI_SRCDIR/src && echo *.h)`
92 PHP_PSI_SOURCES="src/parser_proc.c src/parser.c src/module.c src/context.c"
93 PHP_PSI_SOURCES="$PHP_PSI_SOURCES src/libjit.c src/libffi.c"
95 PHP_NEW_EXTENSION(psi, $PHP_PSI_SOURCES, $ext_shared)
96 PHP_INSTALL_HEADERS(ext/psi, php_psi.h $PHP_PSI_HEADERS)
98 PHP_SUBST(PHP_PSI_HEADERS)
99 PHP_SUBST(PHP_PSI_SOURCES)
101 PHP_SUBST(PHP_PSI_SRCDIR)
102 PHP_SUBST(PHP_PSI_BUILDDIR)
104 PHP_ADD_MAKEFILE_FRAGMENT