X-Git-Url: https://git.m6w6.name/?a=blobdiff_plain;f=config.w32;h=939cc1bb08107f2495a6276832a7450911413c78;hb=0327777cffae9b7b40671c475f85e733e331c916;hp=5bdf84e5f1caead56ccca2b650860a3db536c33e;hpb=52bb48e9f47f90805ead0caedac1799ba287b017;p=m6w6%2Fext-raphf

diff --git a/config.w32 b/config.w32
index 5bdf84e..939cc1b 100644
--- a/config.w32
+++ b/config.w32
@@ -1,10 +1,15 @@
-
-
-ARG_ENABLE("raphf", "for raphf support", "no");
-
-if (PHP_RAPHF == "yes") {
-		EXTENSION("raphf", "php_raphf.c");
-
-		AC_DEFINE("HAVE_RAPHF", 1);
-		PHP_INSTALL_HEADERS("ext/raphf", "php_raphf.h");
-}
+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);
+}