-
Notifications
You must be signed in to change notification settings - Fork 19
/
config.w32
38 lines (32 loc) · 1.42 KB
/
config.w32
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
37
38
// $Id$
// vim:ft=javascript
var DECIMAL_EXT_NAME ="decimal";
var DECIMAL_EXT_API ="php_decimal.c";
var DECIMAL_ADD_SOURCES ="common.c compare.c context.c convert.c decimal.c errors.c globals.c math.c number.c parse.c rational.c round.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", "no");
if (PHP_DECIMAL == "yes") {
var setup_ok = false;
var libmpdec_shared = false;
if (CHECK_HEADER_ADD_INCLUDE(DECIMAL_EXT_DEP_HEADER, "CFLAGS_DECIMAL")) {
if (CHECK_LIB(DECIMAL_EXT_DEP_LIB_STATIC, DECIMAL_EXT_NAME, PHP_DECIMAL)) {
setup_ok = true;
} else if (CHECK_LIB(DECIMAL_EXT_DEP_LIB_SHARED, DECIMAL_EXT_NAME, PHP_DECIMAL)) {
setup_ok = true;
libmpdec_shared = true;
}
}
if (setup_ok) {
EXTENSION(DECIMAL_EXT_NAME, DECIMAL_EXT_API, PHP_DECIMAL_SHARED, DECIMAL_EXT_FLAGS);
ADD_SOURCES(configure_module_dirname + "\\src", DECIMAL_ADD_SOURCES, DECIMAL_EXT_NAME);
if (libmpdec_shared) {
ADD_FLAG("CFLAGS_DECIMAL", "/D USE_DLL=1");
}
} else {
WARNING("decimal not enabled; libraries and headers not found");
}
}