mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-11-27 20:03:40 +08:00
Code Issues Packages Projects Releases Wiki Activity

Allow gmp to compile under Win32

Browse Source
This commit is contained in:
Frank M. Kromann 2005-01-04 22:39:29 +00:00
parent c4bc5b7f33
commit a6ce3e17e4
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
ext/gmp/config.w32 Normal file
View File

@ -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");
}
}