mirror of
https://github.com/php/php-src.git
synced 2024-12-01 13:54:10 +08:00
13 lines
512 B
JavaScript
13 lines
512 B
JavaScript
// $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/");
|
|
}
|