From: Jan-E Date: Fri, 22 Jan 2016 12:40:27 +0000 (+0100) Subject: Fix PHP5 config.w32 X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=refs%2Fpull%2F3%2Fhead;p=m6w6%2Fext-raphf Fix PHP5 config.w32 --- diff --git a/config.w32 b/config.w32 index 939cc1b..70dbfaa 100644 --- a/config.w32 +++ b/config.w32 @@ -1,14 +1,21 @@ ARG_ENABLE("raphf", "for raphf support", "no"); if (PHP_RAPHF == "yes") { - var PHP_RAPHF_HEADERS=glob("src/*.h"), PHP_RAPHF_SOURCES=glob("src/*.c"); + var PHP_RAPHF_HEADERS=glob(configure_module_dirname + "/src/*.h"); + var PHP_RAPHF_SRC_ARRAY=glob(configure_module_dirname + "/src/*.c"); + var PHP_RAPHF_SOURCES=""; + for (var i=0; i