blob: 2d32dd741ef6cb610a817bdba92a3628e014868c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
dnl
dnl $Id$
dnl
PHP_ARG_WITH(gmp, for GNU MP support,
[ --with-gmp Include GNU MP support])
if test "$PHP_GMP" != "no"; then
for i in /usr/local /usr $PHP_GMP; do
if test -f $i/include/gmp.h; then
GMP_DIR=$i
fi
done
if test -z "$GMP_DIR"; then
AC_MSG_ERROR(Unable to locate gmp.h)
fi
PHP_ADD_INCLUDE($GMP_DIR/include)
PHP_EXTENSION(gmp, $ext_shared)
AC_DEFINE(HAVE_GMP, 1, [ ])
PHP_ADD_LIBRARY_WITH_PATH(gmp, $GMP_DIR/lib)
fi
|
