2 [ax/ax_check_compile_flag.m4],
10 sinclude([ext/psi/m4/]incfile)
13 PHP_ARG_ENABLE(psi, whether to enable PHP System Interface support,
14 [ --enable-psi Enable PSI (PHP System Interface) support])
16 if test "$PHP_PSI" != no; then
18 PHP_ARG_ENABLE(psi-maintainer-mode, whether to enable maintainer mode,
19 [ --enable-psi-maintainer-mode
20 PSI: enable maintainer mode
21 . make dependencies], [no], [no])
22 PHP_ARG_ENABLE(psi-threaded-parser, whether to enable threaded parser,
23 [ --enable-psi-threaded-parser
24 PSI: enable threads for startup parsing], [yes], [no])
26 PHP_ARG_WITH(psi-libjit, where to find libjit,
27 [ --with-psi-libjit=DIR PSI: path to libjit], [ ], [ ])
29 PHP_ARG_WITH(psi-libffi, where to find libffi,
30 [ --with-psi-libffi=DIR PSI: path to libffi], [ ], [ ])
32 AC_HEADER_ASSERT dnl # adds --disable-assert to define NDEBUG
36 PSI_CHECK_MAINTAINER_MODE
37 PSI_CHECK_THREADED_PARSER
39 dnl we cannot use AC_USE_SYSTEM_EXTENSIONS here, because we're way too late
40 dnl in the game, and we're currently only targeting _GNU_SOURCE for now
48 AC_CHECK_FUNCS([mknodat eaccess])
56 AC_DEFINE_UNQUOTED(PHP_PSI_SHLIB_SUFFIX, ["$SHLIB_SUFFIX_NAME"], DL suffix)
58 PHP_SUBST(PSI_SHARED_LIBADD)
59 PHP_NEW_EXTENSION(psi, $PHP_PSI_SOURCES, $ext_shared)
60 PHP_INSTALL_HEADERS(ext/psi, php_psi.h $PHP_PSI_HEADERS)
62 PHP_ADD_MAKEFILE_FRAGMENT