X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=config.m4;h=b54c98ee9373af09a620a01aaa8fd6c2d763783c;hp=447ffe6f4b4e72b3c4c1c7be55803e66a89ec3f9;hb=8b652242a4ef920f2ab82bfb822596de25bc5a63;hpb=69fb17bcfa5ed9c32754fa143b59f4a4a2dd4bd8 diff --git a/config.m4 b/config.m4 index 447ffe6..b54c98e 100644 --- a/config.m4 +++ b/config.m4 @@ -47,7 +47,7 @@ PHP_ARG_ENABLE(psi, whether to enable PHP System Interface support, [ --enable-psi Enable PHP System Interface support]) PHP_ARG_ENABLE(psi-posix, whether to pre-define POSIX decls, -[ --ebable-psi-posix PSI: pre-define POSIX decls], [ ], [ ]) +[ --enable-psi-posix=... PSI: pre-define POSIX decls], [ ], [ ]) PHP_ARG_WITH(psi-libjit, where to find libjit, [ --with-psi-libjit=DIR PSI: path to libjit], [ ], [ ]) @@ -58,15 +58,12 @@ PHP_ARG_WITH(psi-libffi, where to find libffi, if test "$PHP_PSI" != no; then PHP_CONFIGURE_PART(Configuring PSI) - ifdef([AC_USE_SYSTEM_EXTENSIONS],AC_USE_SYSTEM_EXTENSIONS) - PSI_LEMON PSI_CHECK_LIBJIT PSI_CHECK_LIBFFI AC_FUNC_FNMATCH - AC_HEADER_DIRENT - + PSI_CONFIG_INIT PSI_CHECK_STD_TYPES PSI_CHECK_STDINT