1dnl 2dnl $Id$ 3dnl 4 5PHP_ARG_WITH(gmp, for GNU MP support, 6[ --with-gmp[=DIR] Include GNU MP support]) 7 8if test "$PHP_GMP" != "no"; then 9 10 for i in $PHP_GMP /usr/local /usr; do 11 test -f $i/include/gmp.h && GMP_DIR=$i && break 12 done 13 14 if test -z "$GMP_DIR"; then 15 AC_MSG_ERROR(Unable to locate gmp.h) 16 fi 17 18 PHP_CHECK_LIBRARY(gmp, __gmp_randinit_lc_2exp_size, 19 [],[ 20 PHP_CHECK_LIBRARY(gmp, gmp_randinit_lc_2exp_size, 21 [],[ 22 AC_MSG_ERROR([GNU MP Library version 4.1.2 or greater required.]) 23 ],[ 24 -L$GMP_DIR/$PHP_LIBDIR 25 ]) 26 ],[ 27 -L$GMP_DIR/$PHP_LIBDIR 28 ]) 29 30 PHP_ADD_LIBRARY_WITH_PATH(gmp, $GMP_DIR/$PHP_LIBDIR, GMP_SHARED_LIBADD) 31 PHP_ADD_INCLUDE($GMP_DIR/include) 32 33 PHP_NEW_EXTENSION(gmp, gmp.c, $ext_shared) 34 PHP_SUBST(GMP_SHARED_LIBADD) 35 AC_DEFINE(HAVE_GMP, 1, [ ]) 36fi 37