diff options
Diffstat (limited to 'ext/ereg/config.w32')
-rw-r--r-- | ext/ereg/config.w32 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ext/ereg/config.w32 b/ext/ereg/config.w32 new file mode 100644 index 0000000..18a002b --- /dev/null +++ b/ext/ereg/config.w32 @@ -0,0 +1,12 @@ +// $Id$ +// vim:ft=javascript + +ARG_WITH("ereg", "POSIX extended regular expressions", "yes"); +if (PHP_EREG != "no") { + + EXTENSION("ereg", "ereg.c", PHP_EREG_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'); + PHP_INSTALL_HEADERS("ext/ereg", "php_ereg.h php_regex.h regex/"); +} |