From 52bb48e9f47f90805ead0caedac1799ba287b017 Mon Sep 17 00:00:00 2001 From: Anatol Belski Date: Fri, 18 Jul 2014 12:36:13 +0200 Subject: [PATCH] fix config.w32 for phpize mode --- config.w32 | 3 +++ 1 file changed, 3 insertions(+) diff --git a/config.w32 b/config.w32 index e33ea76..5bdf84e 100644 --- a/config.w32 +++ b/config.w32 @@ -4,4 +4,7 @@ ARG_ENABLE("raphf", "for raphf support", "no"); if (PHP_RAPHF == "yes") { EXTENSION("raphf", "php_raphf.c"); + + AC_DEFINE("HAVE_RAPHF", 1); + PHP_INSTALL_HEADERS("ext/raphf", "php_raphf.h"); } -- 2.30.2