blob: e607fe50fc3e09ac36dfba48c6987a63565fb62d (
plain)
1
2
3
4
5
6
7
8
9
10
|
PHP_ARG_ENABLE([tokenizer],
[whether to enable tokenizer support],
[AS_HELP_STRING([--disable-tokenizer],
[Disable tokenizer support])],
[yes])
if test "$PHP_TOKENIZER" != "no"; then
PHP_NEW_EXTENSION(tokenizer, tokenizer.c tokenizer_data.c, $ext_shared)
PHP_ADD_MAKEFILE_FRAGMENT
fi
|