libffi
[m6w6/ext-psi] / config.m4
1 PHP_ARG_WITH(psi, whether to enable psi support,
2 [ --with-psi[[=path to libjit]]
3 Enable PHP System Interface support])
4
5 if test "$PHP_PSI" != "no"; then
6 AC_ARG_VAR(LEMON, The lemon parser generator of the SQLite project)
7 AC_PATH_PROG(LEMON, lemon, ./lemon)
8 PHP_SUBST(LEMON)
9
10 if test -z "$PKG_CONFIG"
11 then
12 AC_PATH_PROG(PKG_CONFIG, pkg-config, false)
13 fi
14
15 export PKG_CONFIG_PATH="/opt/libffi/lib/pkgconfig:$PKG_CONFIG_PATH"
16
17 AC_CACHE_CHECK(for libffi, PSI_cv_LIBFFI, [
18 if $PKG_CONFIG --exists libffi
19 then
20 PSI_cv_LIBFFI=true
21 else
22 PSI_cv_LIBFFI=false
23 fi])
24 if $PSI_cv_LIBFFI
25 then
26 PHP_EVAL_INCLINE(`$PKG_CONFIG --cflags libffi`)
27 PHP_EVAL_LIBLINE(`$PKG_CONFIG --libs libffi`, PSI_SHARED_LIBADD)
28 else
29 AC_MSG_ERROR([Could not find libjit, please provide the base install path])
30 fi
31
32 AC_CACHE_CHECK(for libjit, PSI_cv_LIBJIT_DIR, [
33 for PSI_cv_LIBJIT_DIR in $PHP_PSI {/usr{,/local},/opt}{,libjit}
34 do
35 if test -e $PSI_cv_LIBJIT_DIR/include/jit/jit.h
36 then
37 break
38 fi
39 PSI_cv_LIBJIT_DIR=
40 done])
41 if test -n "$PSI_cv_LIBJIT_DIR"
42 then
43 PHP_ADD_INCLUDE($PSI_cv_LIBJIT_DIR/include)
44 PHP_ADD_LIBRARY_WITH_PATH(jit, $PSI_cv_LIBJIT_DIR/$PHP_LIBDIR, PSI_SHARED_LIBADD)
45 else
46 AC_MSG_ERROR([Could not find libjit, please provide the base install path])
47 fi
48
49 PHP_SUBST(PSI_SHARED_LIBADD)
50
51 PHP_PSI_SRCDIR=PHP_EXT_SRCDIR(psi)
52 PHP_PSI_BUILDDIR=PHP_EXT_BUILDDIR(psi)
53
54 PHP_ADD_INCLUDE($PHP_PSI_SRCDIR/src)
55 PHP_ADD_BUILD_DIR($PHP_PSI_BUILDDIR/src)
56
57 PHP_PSI_HEADERS=`(cd $PHP_PSI_SRCDIR/src && echo *.h)`
58 PHP_PSI_SOURCES="src/parser_proc.c src/parser.c src/validator.c src/module.c src/context.c"
59 PHP_PSI_SOURCES="$PHP_PSI_SOURCES src/libjit.c src/libffi.c"
60
61 PHP_NEW_EXTENSION(psi, $PHP_PSI_SOURCES, $ext_shared)
62 PHP_INSTALL_HEADERS(ext/psi, php_psi.h $PHP_PSI_HEADERS)
63
64 PHP_SUBST(PHP_PSI_HEADERS)
65 PHP_SUBST(PHP_PSI_SOURCES)
66
67 PHP_SUBST(PHP_PSI_SRCDIR)
68 PHP_SUBST(PHP_PSI_BUILDDIR)
69
70 PHP_ADD_MAKEFILE_FRAGMENT
71 fi