File: config.w32

package info (click to toggle)
php-decimal 1.5.0-4
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 456 kB
  • sloc: ansic: 1,928; xml: 102; makefile: 2
file content (36 lines) | stat: -rw-r--r-- 1,234 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
// $Id$
// vim:ft=javascript

var DECIMAL_EXT_NAME        ="decimal";
var DECIMAL_EXT_API         ="php_decimal.c";
var DECIMAL_EXT_DEP_HEADER  ="mpdecimal.h";
var DECIMAL_EXT_FLAGS       ="/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1";
var DECIMAL_EXT_DEP_LIB_SHARED ="libmpdec.lib";
var DECIMAL_EXT_DEP_LIB_STATIC ="libmpdec_a.lib";

/* --------------------------------------------------------------------- */

ARG_WITH("decimal", "for decimal support", "yes");

if (PHP_DECIMAL == "yes") {
    var setup_ok = false;
    var libmpdec_shared = false;

    if (CHECK_HEADER_ADD_INCLUDE(DECIMAL_EXT_DEP_HEADER, "CFLAGS_DECIMAL")) {
        if (PHP_DECIMAL_SHARED && CHECK_LIB(DECIMAL_EXT_DEP_LIB_SHARED, DECIMAL_EXT_NAME, PHP_DECIMAL)) {
            setup_ok = true;
            libmpdec_shared = true;
        } else if (CHECK_LIB(DECIMAL_EXT_DEP_LIB_STATIC, DECIMAL_EXT_NAME, PHP_DECIMAL)) {
            setup_ok = true;
        }
    }

    if (setup_ok) {
        EXTENSION(DECIMAL_EXT_NAME, DECIMAL_EXT_API, PHP_DECIMAL_SHARED, DECIMAL_EXT_FLAGS);
        if (libmpdec_shared) {
            ADD_FLAG("CFLAGS_DECIMAL", "/D USE_DLL=1");
        }
    } else {
        WARNING("decimal not enabled; libraries and headers not found");
    }
}