From 69a623b955465f6870955bef0c81af2a899e4783 Mon Sep 17 00:00:00 2001 From: Jan-E Date: Fri, 22 Jan 2016 13:27:41 +0100 Subject: [PATCH] Fix PHP7 config.w32 --- config.w32 | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/config.w32 b/config.w32 index ed086e8..90ef462 100644 --- a/config.w32 +++ b/config.w32 @@ -2,15 +2,24 @@ ARG_ENABLE("propro", "for propro support", "no"); if (PHP_PROPRO == "yes") { - var PHP_PROPRO_HEADERS=glob("src/*.h"), PHP_PROPRO_SOURCES=glob("src/*.c"); + var PHP_PROPRO_HEADERS=glob(configure_module_dirname + "/src/*.h"); + var PHP_PROPRO_SRC_ARRAY=glob(configure_module_dirname + "/src/*.c"); + var PHP_PROPRO_SOURCES=""; + for (var i=0; i