diff options
| author | foobar <sniper@php.net> | 2003-10-01 02:53:23 +0000 |
|---|---|---|
| committer | foobar <sniper@php.net> | 2003-10-01 02:53:23 +0000 |
| commit | dc080a5db6f31c5d174dc0cc097da509c2533142 (patch) | |
| tree | 39482ab88773c67f3b569e6e34bdfc02f818aec2 /ext/gmp | |
| parent | 5b17050a79fff705bc446446d35525d776b78de7 (diff) | |
| download | php-git-dc080a5db6f31c5d174dc0cc097da509c2533142.tar.gz | |
- Always look into /usr/local before /usr
- Added breaks to make sure the preferred value is used.
Diffstat (limited to 'ext/gmp')
| -rw-r--r-- | ext/gmp/config.m4 | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/ext/gmp/config.m4 b/ext/gmp/config.m4 index 8548811bb7..39e1bb24f9 100644 --- a/ext/gmp/config.m4 +++ b/ext/gmp/config.m4 @@ -8,18 +8,17 @@ PHP_ARG_WITH(gmp, for GNU MP support, if test "$PHP_GMP" != "no"; then for i in $PHP_GMP /usr/local /usr; do - if test -f $i/include/gmp.h; then - GMP_DIR=$i - fi + test -f $i/include/gmp.h && GMP_DIR=$i && break done if test -z "$GMP_DIR"; then AC_MSG_ERROR(Unable to locate gmp.h) fi + + PHP_ADD_LIBRARY_WITH_PATH(gmp, $GMP_DIR/lib, GMP_SHARED_LIBADD) PHP_ADD_INCLUDE($GMP_DIR/include) PHP_NEW_EXTENSION(gmp, gmp.c, $ext_shared) - AC_DEFINE(HAVE_GMP, 1, [ ]) PHP_SUBST(GMP_SHARED_LIBADD) - PHP_ADD_LIBRARY_WITH_PATH(gmp, $GMP_DIR/lib, GMP_SHARED_LIBADD) + AC_DEFINE(HAVE_GMP, 1, [ ]) fi |