diff --git a/ext/gmp/config.w32 b/ext/gmp/config.w32 index 2aff16b77bb..b413e3319f5 100644 --- a/ext/gmp/config.w32 +++ b/ext/gmp/config.w32 @@ -4,7 +4,7 @@ ARG_WITH("gmp", "Include GNU MP support.", "no"); if (PHP_GMP != "no") { - if (CHECK_LIB("libgmp_a.lib", "gmp", PHP_GMP) && + if (CHECK_LIB("mpir_a.lib;libgmp.lib", "gmp", PHP_GMP) && CHECK_HEADER_ADD_INCLUDE("gmp.h", "CFLAGS_GMP", PHP_GMP)) { EXTENSION("gmp", "gmp.c"); AC_DEFINE('HAVE_GMP', 1, 'GMP support');