Return to config.w32 CVS log

Up to [ELWIX - Embedded LightWeight unIX -] / embedaddon / php / ext / gmp

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: }