1
// $Id: config.w32,v 1.1.6.2 2009/06/10 09:59:21 pajoye Exp $
4
ARG_WITH("gmp", "Include GNU MP support.", "no");
7
if (CHECK_LIB("mpir_a.lib", "gmp", PHP_GMP) &&
8
CHECK_HEADER_ADD_INCLUDE("gmp.h", "CFLAGS_GMP", PHP_GMP + ";" + PHP_PHP_BUILD + "\\include\\mpir")) {
9
EXTENSION("gmp", "gmp.c");
10
AC_DEFINE('HAVE_GMP', 1, 'GMP support');
12
WARNING("GMP not enabled; libraries and headers not found");