diff options
| author | Sean Finney <seanius@debian.org> | 2009-06-24 22:49:04 +0200 |
|---|---|---|
| committer | Sean Finney <seanius@debian.org> | 2009-06-24 22:49:04 +0200 |
| commit | 84f4ca9b07fe5b73d840258f4aa7c1eb534c4253 (patch) | |
| tree | 9829bd578af8a4a8b42b04277f9067e00dc5ad90 /ext/gmp | |
| parent | 6821b67124604da690c5e9276d5370d679c63ac8 (diff) | |
| download | php-84f4ca9b07fe5b73d840258f4aa7c1eb534c4253.tar.gz | |
Imported Upstream version 5.3.0~RC4upstream/5.3.0_RC4upstream/5.3.0.RC4
Diffstat (limited to 'ext/gmp')
| -rw-r--r-- | ext/gmp/config.w32 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ext/gmp/config.w32 b/ext/gmp/config.w32 index f2b747ab4..edb4c2396 100644 --- a/ext/gmp/config.w32 +++ b/ext/gmp/config.w32 @@ -1,11 +1,11 @@ -// $Id: config.w32,v 1.1 2005/01/04 22:39:29 fmk Exp $ +// $Id: config.w32,v 1.1.6.2 2009/06/10 09:59:21 pajoye Exp $ // vim:ft=javascript ARG_WITH("gmp", "Include GNU MP support.", "no"); if (PHP_GMP != "no") { - if (CHECK_LIB("libgmp_a.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 { |