mirror of
https://github.com/php/php-src.git
synced 2024-12-23 00:40:33 +08:00
13 lines
343 B
Plaintext
13 lines
343 B
Plaintext
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
|