From 49703f0c5cd041e8de7fbccefc4581605ddbba64 Mon Sep 17 00:00:00 2001 From: Jan-E Date: Fri, 22 Jan 2016 13:27:06 +0100 Subject: [PATCH] Fix PHP7 config.w32 --- config.w32 | 19 ++++++++++++++----- 1 file changed, 14 insertions(+), 5 deletions(-) diff --git a/config.w32 b/config.w32 index 939cc1b..7a09923 100644 --- a/config.w32 +++ b/config.w32 @@ -1,15 +1,24 @@ 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