Fix releases link
[m6w6/ext-raphf] / config.w32
1 ARG_ENABLE("raphf", "for raphf support", "no");
2
3 if (PHP_RAPHF == "yes") {
4 var PHP_RAPHF_HEADERS=glob(configure_module_dirname + "/src/*.h");
5 var PHP_RAPHF_SRC_ARRAY=glob(configure_module_dirname + "/src/*.c");
6 var PHP_RAPHF_SOURCES="";
7 for (var i=0; i<PHP_RAPHF_SRC_ARRAY.length; ++i) {
8 var basename = FSO.GetFileName(PHP_RAPHF_SRC_ARRAY[i]);
9 PHP_RAPHF_SOURCES = PHP_RAPHF_SOURCES + " " + basename;
10 }
11
12 //EXTENSION("raphf");
13 ADD_SOURCES(configure_module_dirname + "/src", PHP_RAPHF_SOURCES, "raphf");
14 EXTENSION("raphf", "src/php_raphf_api.c");
15 PHP_INSTALL_HEADERS(configure_module_dirname, "php_raphf.h");
16 for (var i=0; i<PHP_RAPHF_HEADERS.length; ++i) {
17 var basename = FSO.GetFileName(PHP_RAPHF_HEADERS[i]);
18 copy_and_subst("src/" + basename, basename, []);
19 PHP_INSTALL_HEADERS(configure_module_dirname, basename);
20 }
21 ADD_FLAG("CFLAGS_RAPHF", "/I" + configure_module_dirname + " ");
22
23 AC_DEFINE("HAVE_RAPHF", 1);
24 }