X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=config.m4;h=9cd22a334efd648f68665f1f34706ab076ba450d;hp=817887d199f019606a408143032b3c1bfbc706a6;hb=772c1e688a51b32331fae7993429b3a03d766d8d;hpb=5abcb8724ac7046d62203ea643e9ce69f63a6a8a

diff --git a/config.m4 b/config.m4
index 817887d..9cd22a3 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)