diff options
| author | Pierre Joye <pajoye@php.net> | 2009-06-10 09:59:21 +0000 |
|---|---|---|
| committer | Pierre Joye <pajoye@php.net> | 2009-06-10 09:59:21 +0000 |
| commit | dfb8717c1e7b4788c4d1705b94dd80d778962175 (patch) | |
| tree | 712717ca792d337365f8328d22f0539a0bd10127 | |
| parent | c0977c826ede66b1ded13df3a4e0ee807e57291a (diff) | |
| download | php-git-dfb8717c1e7b4788c4d1705b94dd80d778962175.tar.gz | |
- put mpir headers in their own directory
| -rw-r--r-- | ext/gmp/config.w32 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ext/gmp/config.w32 b/ext/gmp/config.w32 index b413e3319f..fdaa606af0 100644 --- a/ext/gmp/config.w32 +++ b/ext/gmp/config.w32 @@ -4,8 +4,8 @@ ARG_WITH("gmp", "Include GNU MP support.", "no"); if (PHP_GMP != "no") { - if (CHECK_LIB("mpir_a.lib;libgmp.lib", "gmp", PHP_GMP) && - CHECK_HEADER_ADD_INCLUDE("gmp.h", "CFLAGS_GMP", PHP_GMP)) { + if (CHECK_LIB("mpir_a.lib", "gmp", PHP_GMP) && + CHECK_HEADER_ADD_INCLUDE("gmp.h", "CFLAGS_GMP", PHP_GMP + ";" + PHP_PHP_BUILD + "\\include\\mpir")) { EXTENSION("gmp", "gmp.c"); AC_DEFINE('HAVE_GMP', 1, 'GMP support'); } else { |