diff options
| author | Stanislav Malyshev <stas@php.net> | 2000-11-26 18:36:16 +0000 |
|---|---|---|
| committer | Stanislav Malyshev <stas@php.net> | 2000-11-26 18:36:16 +0000 |
| commit | dca467faf377b2fb56525b1dc1055f3081ea2c74 (patch) | |
| tree | 339891177d0a776fdea3a6e6dedf3e71ffdf2788 /ext/gmp/config.m4 | |
| parent | d4fc424554b8eb358827f28e7ddeb6c218e6b7e9 (diff) | |
| download | php-git-dca467faf377b2fb56525b1dc1055f3081ea2c74.tar.gz | |
GNU GMP - arbitrary precision nubers library
Diffstat (limited to 'ext/gmp/config.m4')
| -rw-r--r-- | ext/gmp/config.m4 | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/ext/gmp/config.m4 b/ext/gmp/config.m4 new file mode 100644 index 0000000000..245c7e3503 --- /dev/null +++ b/ext/gmp/config.m4 @@ -0,0 +1,27 @@ +dnl $Id$ +dnl config.m4 for extension gmp + +dnl If your extension references something external, use with: + +PHP_ARG_WITH(gmp, for gmp support, +dnl Make sure that the comment is aligned: +[ --with-gmp Include gmp 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 + AC_ADD_INCLUDE($GMP_DIR/include) + + + PHP_EXTENSION(gmp, $ext_shared) + AC_DEFINE(HAVE_GMP, 1, [ ]) + AC_ADD_LIBRARY_WITH_PATH(gmp, $GMP_DIR/lib) +fi |