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