-\r
-\r
-ARG_ENABLE("raphf", "for raphf support", "no");\r
-\r
-if (PHP_RAPHF == "yes") {\r
- EXTENSION("raphf", "php_raphf.c");\r
-\r
- AC_DEFINE("HAVE_RAPHF", 1);\r
- PHP_INSTALL_HEADERS("ext/raphf", "php_raphf.h");\r
-}\r
+ARG_ENABLE("raphf", "for raphf support", "no");
+
+if (PHP_RAPHF == "yes") {
+ var PHP_RAPHF_HEADERS=glob("src/*.h"), PHP_RAPHF_SOURCES=glob("src/*.c");
+
+ EXTENSION("raphf", PHP_RAPHF_SOURCES);
+ PHP_INSTALL_HEADERS("ext/raphf", "php_propro.h");
+ for (var i=0; i<PHP_RAPHF_HEADERS.length; ++i) {
+ var basename = FSO.GetFileName(PHP_RAPHF_HEADERS[i]);
+ copy_and_subst(PHP_RAPHF_HEADERS[i], basename, []);
+ PHP_INSTALL_HEADERS("ext/raphf", basename);
+ }
+
+ AC_DEFINE("HAVE_RAPHF", 1);
+}