From: Pierre Joye Date: Wed, 10 Jun 2009 10:19:11 +0000 (+0000) Subject: - MFB: put mpir headers in their own directory X-Git-Tag: php-5.4.0alpha1~191^2~3370 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=be5391a6d572a8ec45bbb98a7313f0308bd66bc5;p=php - MFB: put mpir headers in their own directory --- 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 {