1 PHP_PSI_SRCDIR=PHP_EXT_SRCDIR(psi)
2 PHP_PSI_BUILDDIR=PHP_EXT_BUILDDIR(psi)
41 sinclude([m4/]incfile)
43 sinclude([ext/psi/m4/]incfile)
46 PHP_ARG_ENABLE(psi, whether to enable PHP System Interface support,
47 [ --enable-psi Enable PHP System Interface support])
49 PHP_ARG_ENABLE(psi-posix, whether to pre-define POSIX decls,
50 [ --enable-psi-posix=... PSI: pre-define POSIX decls], [ ], [ ])
52 PHP_ARG_WITH(psi-libjit, where to find libjit,
53 [ --with-psi-libjit=DIR PSI: path to libjit], [ ], [ ])
55 PHP_ARG_WITH(psi-libffi, where to find libffi,
56 [ --with-psi-libffi=DIR PSI: path to libffi], [ ], [ ])
58 if test "$PHP_PSI" != no; then
59 PHP_CONFIGURE_PART(Configuring PSI)
99 PHP_SUBST(PSI_SHARED_LIBADD)
101 AC_DEFINE_UNQUOTED(PHP_PSI_SHLIB_SUFFIX, ["$SHLIB_SUFFIX_NAME"], DL suffix)
103 AC_DEFINE_UNQUOTED([PSI_STDINC], [$PSI_STDINC], [Standard includes])
104 AC_DEFINE_UNQUOTED([PSI_TYPES], [$PSI_TYPES], [Predefined types])
105 AC_DEFINE_UNQUOTED([PSI_STRUCTS], [$PSI_STRUCTS], [Predefined structs])
106 AC_DEFINE_UNQUOTED([PSI_UNIONS], [$PSI_UNIONS], [Predefined structs])
107 AC_DEFINE_UNQUOTED([PSI_CONSTS], [$PSI_CONSTS], [Predefined constants])
108 AC_DEFINE_UNQUOTED([PSI_MACROS], [$PSI_MACROS], [Redirected Macros])
109 AC_DEFINE_UNQUOTED([PSI_REDIRS], [$PSI_REDIRS], [Redirected functions])
110 AC_DEFINE_UNQUOTED([PSI_DECLS], [$PSI_DECLS], [Predefined functions])
111 AC_DEFINE_UNQUOTED([PSI_VA_DECLS], [$PSI_VA_DECLS], [Predefined vararg functions])
113 PHP_ADD_INCLUDE($PHP_PSI_SRCDIR/src)
114 PHP_ADD_BUILD_DIR($PHP_PSI_BUILDDIR/src)
116 PHP_PSI_HEADERS=`(cd $PHP_PSI_SRCDIR/src && echo *.h)`
117 PHP_PSI_SOURCES= # parser* should come first
118 PHP_PSI_SOURCES="$PHP_PSI_SOURCES src/parser_proc.c src/parser.c"
119 PHP_PSI_SOURCES="$PHP_PSI_SOURCES src/libjit.c src/libffi.c src/engine.c"
120 PHP_PSI_SOURCES="$PHP_PSI_SOURCES src/marshal.c src/calc.c src/module.c"
121 PHP_PSI_SOURCES="$PHP_PSI_SOURCES `(cd $PHP_PSI_SRCDIR && echo src/context*.c)`"
123 PHP_NEW_EXTENSION(psi, $PHP_PSI_SOURCES, $ext_shared)
124 PHP_INSTALL_HEADERS(ext/psi, php_psi.h $PHP_PSI_HEADERS)
126 PHP_SUBST(PHP_PSI_HEADERS)
127 PHP_SUBST(PHP_PSI_SOURCES)
129 PHP_SUBST(PHP_PSI_SRCDIR)
130 PHP_SUBST(PHP_PSI_BUILDDIR)
132 PHP_ADD_MAKEFILE_FRAGMENT