X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=config.m4;h=9666b1b38f39dbd1c500a209ff44f078d13b1f0a;hp=817887d199f019606a408143032b3c1bfbc706a6;hb=77a446cbcdce6558c00066e5f13e43e8b1b18ff7;hpb=5abcb8724ac7046d62203ea643e9ce69f63a6a8a diff --git a/config.m4 b/config.m4 index 817887d..9666b1b 100644 --- a/config.m4 +++ b/config.m4 @@ -1,6 +1,12 @@ PHP_ARG_ENABLE(psi, whether to enable PHP System Interface support, [ --enable-psi Enable PHP System Interface support]) +PHP_ARG_WITH(psi-libjit, where to find libjit, +[ --with-psi-libjit=DIR PSI: path to libjit], [ ], [ ]) + +PHP_ARG_WITH(psi-libffi, where to find libffi, +[ --with-psi-libffi=DIR PSI: path to libffi], [ ], [ ]) + PHP_PSI_SRCDIR=PHP_EXT_SRCDIR(psi) PHP_PSI_BUILDDIR=PHP_EXT_BUILDDIR(psi) @@ -27,6 +33,7 @@ m4_foreach(incfile, [ [sys_types.m4], [sys_uio.m4], [sys_utsname.m4], + [ndbm.m4], [netdb.m4], [netinet_in.m4], [netinet_tcp.m4], @@ -69,6 +76,7 @@ if test "$PHP_PSI" != no; then PSI_CHECK_SYS_STAT PSI_CHECK_SYS_UIO PSI_CHECK_SYS_UTSNAME + PSI_CHECK_NDBM PSI_CHECK_NETDB PSI_CHECK_NETINET_IN PSI_CHECK_NETINET_TCP