Annotation of embedaddon/php/ext/gmp/config.w32, revision 1.1
1.1 ! misho 1: // $Id: config.w32 291937 2009-12-10 02:25:47Z pajoye $
! 2: // vim:ft=javascript
! 3:
! 4: ARG_WITH("gmp", "Include GNU MP support.", "no");
! 5:
! 6: if (PHP_GMP != "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');
! 11: AC_DEFINE('HAVE_MPIR', 1, 'MPIR support');
! 12: } else {
! 13: WARNING("GMP not enabled; libraries and headers not found");
! 14: }
! 15: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>