diff options
Diffstat (limited to 'ext/ereg/config.w32')
-rw-r--r-- | ext/ereg/config.w32 | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/ext/ereg/config.w32 b/ext/ereg/config.w32 index 9a25368df0..59cdb04685 100644 --- a/ext/ereg/config.w32 +++ b/ext/ereg/config.w32 @@ -1,7 +1,11 @@ // $Id$ // vim:ft=javascript -EXTENSION("ereg", "ereg.c", false /* never shared */, "-Dregexec=php_regexec -Dregerror=php_regerror -Dregfree=php_regfree -Dregcomp=php_regcomp -Iext/ereg/regex"); -ADD_SOURCES("ext/ereg/regex", "regcomp.c regexec.c regerror.c regfree.c", "ereg"); -AC_DEFINE('REGEX', 1, 'Bundled regex'); -AC_DEFINE('HSREGEX', 1, 'Bundled regex'); +ARG_WITH("ereg", "POSIX extended regular expressions", "yes"); +if (PHP_EREG != "no") { + + EXTENSION("ereg", "ereg.c", false /* never shared */, "-Dregexec=php_regexec -Dregerror=php_regerror -Dregfree=php_regfree -Dregcomp=php_regcomp -Iext/ereg/regex"); + ADD_SOURCES("ext/ereg/regex", "regcomp.c regexec.c regerror.c regfree.c", "ereg"); + AC_DEFINE('REGEX', 1, 'Bundled regex'); + AC_DEFINE('HSREGEX', 1, 'Bundled regex'); +}
\ No newline at end of file |