-
Notifications
You must be signed in to change notification settings - Fork 29
/
config.w32
32 lines (27 loc) · 795 Bytes
/
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
// $Id$
// vim:ft=javascript
ARG_ENABLE("pcov", "enable php coverage support", "no");
if (PHP_PCOV != "no") {
if (PHP_VERSION < 7 || PHP_VERSION == 7 && PHP_MINOR_VERSION < 1) {
ERROR("pcov supports PHP 7.1+");
}
if (PHP_VERSION > 8 || PHP_VERSION == 8 && PHP_MINOR_VERSION >= 1) {
EXTENSION("pcov", "pcov.c", PHP_PCOV_SHARED,
"/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
} else {
var cfg_dir;
if (PHP_VERSION == 7 && PHP_MINOR_VERSION < 4) {
cfg_dir = PHP_VERSION + "0" + PHP_MINOR_VERSION;
} else {
cfg_dir = "704";
}
EXTENSION("pcov", "pcov.c", PHP_PCOV_SHARED,
"/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1 /I" +
configure_module_dirname + "/cfg/" + cfg_dir);
ADD_SOURCES(
configure_module_dirname + "/cfg/" + cfg_dir,
"zend_cfg.c",
"pcov"
);
}
}