diff options
| author | Stefan Esser | 2015-12-17 16:35:34 +0100 |
|---|---|---|
| committer | Stefan Esser | 2015-12-17 16:35:34 +0100 |
| commit | c4c9192839ba7842f5da58f5fd525056c77cfe54 (patch) | |
| tree | 810854ddb53e03d7320570ec8d634390a849d6b2 /config.w32 | |
| parent | aee7faf18880573b60606756a61faea32a1bb89a (diff) | |
Continue the actual porting work on GitHub
Diffstat (limited to 'config.w32')
| -rw-r--r-- | config.w32 | 13 |
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 | |||
| 10 | if (PHP_SUHOSIN7 != "no") { | ||
| 11 | EXTENSION("suhosin7", "suhosin7.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1"); | ||
| 12 | } | ||
| 13 | |||
