ARG_ENABLE("raphf", "for raphf support", "no"); if (PHP_RAPHF == "yes") { var PHP_RAPHF_HEADERS=glob(configure_module_dirname + "/src/*.h"); var PHP_RAPHF_SRC_ARRAY=glob(configure_module_dirname + "/src/*.c"); var PHP_RAPHF_SOURCES=""; for (var i=0; i