diff options
| author | Lorry Tar Creator <lorry-tar-importer@baserock.org> | 2013-03-14 05:42:27 +0000 |
|---|---|---|
| committer | <> | 2013-04-03 16:25:08 +0000 |
| commit | c4dd7a1a684490673e25aaf4fabec5df138854c4 (patch) | |
| tree | 4d57c44caae4480efff02b90b9be86f44bf25409 /ext/gmp/config.w32 | |
| download | php2-master.tar.gz | |
Imported from /home/lorry/working-area/delta_php2/php-5.4.13.tar.bz2.HEADphp-5.4.13master
Diffstat (limited to 'ext/gmp/config.w32')
| -rw-r--r-- | ext/gmp/config.w32 | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/ext/gmp/config.w32 b/ext/gmp/config.w32 new file mode 100644 index 0000000..8c863f9 --- /dev/null +++ b/ext/gmp/config.w32 @@ -0,0 +1,15 @@ +// $Id$ +// vim:ft=javascript + +ARG_WITH("gmp", "Include GNU MP support.", "no"); + +if (PHP_GMP != "no") { + 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'); + AC_DEFINE('HAVE_MPIR', 1, 'MPIR support'); + } else { + WARNING("GMP not enabled; libraries and headers not found"); + } +} |