From 921871c048332818704008ce7b67f8f2e32d3cf4 Mon Sep 17 00:00:00 2001 From: Jan Ehrhardt Date: Wed, 2 Dec 2020 14:24:04 +0100 Subject: [PATCH 1/1] [config.w32] Warn that propro was discontinued See https://github.com/m6w6/ext-http/issues/97#issuecomment-737167881 Issue a warning "Propro support has been discontinued since PHP 8.0" when configuring. --- config.w32 | 44 ++++++++++++++++++++++++-------------------- 1 file changed, 24 insertions(+), 20 deletions(-) diff --git a/config.w32 b/config.w32 index 426ec3a..ce1db66 100644 --- a/config.w32 +++ b/config.w32 @@ -1,25 +1,29 @@ ARG_ENABLE("propro", "for propro support", "no"); -if (PHP_PROPRO == "yes" && PHP_VERSION <= 7) { - 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