ARG_ENABLE("propro", "for propro support", "no"); if (PHP_PROPRO == "yes") { var PHP_PROPRO_HEADERS=glob("src/*.h"), PHP_PROPRO_SOURCES=glob("src/*.c"); EXTENSION("propro", PHP_PROPRO_SOURCES); PHP_INSTALL_HEADERS("ext/propro", "php_propro.h"); for (var i=0; i