| 12345678910 |
- 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
|
