summaryrefslogtreecommitdiff
path: root/config.w32
diff options
context:
space:
mode:
authorStefan Esser2015-12-17 16:35:34 +0100
committerStefan Esser2015-12-17 16:35:34 +0100
commitc4c9192839ba7842f5da58f5fd525056c77cfe54 (patch)
tree810854ddb53e03d7320570ec8d634390a849d6b2 /config.w32
parentaee7faf18880573b60606756a61faea32a1bb89a (diff)
Continue the actual porting work on GitHub
Diffstat (limited to 'config.w32')
-rw-r--r--config.w3213
1 files changed, 13 insertions, 0 deletions
diff --git a/config.w32 b/config.w32
new file mode 100644
index 0000000..686fe73
--- /dev/null
+++ b/config.w32
@@ -0,0 +1,13 @@
1// $Id$
2// vim:ft=javascript
3
4// If your extension references something external, use ARG_WITH
5// ARG_WITH("suhosin7", "for suhosin7 support", "no");
6
7// Otherwise, use ARG_ENABLE
8// ARG_ENABLE("suhosin7", "enable suhosin7 support", "no");
9
10if (PHP_SUHOSIN7 != "no") {
11 EXTENSION("suhosin7", "suhosin7.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
12}
13