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