; --- build date:  2015-10-26 21:48
; --- lib version: 1.4.8
PHP_VERSION_TARGET=5.2
EDITION_NAME=dev
ENABLE_PHP_XMLRPC=0
ENABLE_PHP_JELIX=0
WITH_BYTECODE_CACHE=auto
ENABLE_DEVELOPER=1
ENABLE_OPTIMIZED_SOURCE=0
STRIP_COMMENT=0
SOURCE_REVISION=2658
