Allow gmp to compile under Win32

diff --git a/ext/gmp/config.w32 b/ext/gmp/config.w32
new file mode 100644 (file)
index 0000000..2aff16b
--- /dev/null
+++ b/ext/gmp/config.w32
@@ -0,0 +1,14 @@
+// $Id$
+// 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)) {
+               EXTENSION("gmp", "gmp.c");
+               AC_DEFINE('HAVE_GMP', 1, 'GMP support');
+       } else {
+               WARNING("GMP not enabled; libraries and headers not found");
+       }
+}