diff options
Diffstat (limited to 'ext/tokenizer/config.m4')
| -rw-r--r-- | ext/tokenizer/config.m4 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ext/tokenizer/config.m4 b/ext/tokenizer/config.m4 new file mode 100644 index 0000000..007dddf --- /dev/null +++ b/ext/tokenizer/config.m4 @@ -0,0 +1,12 @@ +dnl $Id$ +dnl config.m4 for extension tokenizer + +dnl Otherwise use enable: + +PHP_ARG_ENABLE(tokenizer, whether to enable tokenizer support, +[ --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 |