1 ARG_ENABLE("raphf", "for raphf support", "no");
3 if (PHP_RAPHF == "yes") {
4 var PHP_RAPHF_HEADERS=glob("src/*.h"), PHP_RAPHF_SOURCES=glob("src/*.c");
6 EXTENSION("raphf", PHP_RAPHF_SOURCES);
7 PHP_INSTALL_HEADERS("ext/raphf", "php_propro.h");
8 for (var i=0; i<PHP_RAPHF_HEADERS.length; ++i) {
9 var basename = FSO.GetFileName(PHP_RAPHF_HEADERS[i]);
10 copy_and_subst(PHP_RAPHF_HEADERS[i], basename, []);
11 PHP_INSTALL_HEADERS("ext/raphf", basename);
14 AC_DEFINE("HAVE_RAPHF", 1);