- put mpir headers in their own directory

diff --git a/ext/gmp/config.w32 b/ext/gmp/config.w32
index b413e3319f5cdbd66a358dc9b6886852f64b72e6..fdaa606af0fb369135652db200fdb568a4f9db77 100644 (file)
--- 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 {