fix config.w32 for phpize mode
authorAnatol Belski <ab@php.net>
Fri, 18 Jul 2014 10:36:13 +0000 (12:36 +0200)
committerAnatol Belski <ab@php.net>
Fri, 18 Jul 2014 10:36:13 +0000 (12:36 +0200)
config.w32

index e33ea76210842ed5f6793f7076321d721c43336e..5bdf84e5f1caead56ccca2b650860a3db536c33e 100644 (file)
@@ -4,4 +4,7 @@ ARG_ENABLE("raphf", "for raphf support", "no");
 \r
 if (PHP_RAPHF == "yes") {\r
                EXTENSION("raphf", "php_raphf.c");\r
+\r
+               AC_DEFINE("HAVE_RAPHF", 1);\r
+               PHP_INSTALL_HEADERS("ext/raphf", "php_raphf.h");\r
 }\r