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

index 1d287755ed17b67cda13c53aa7a30c8ace2f79e7..53ab56e485d9abb36e6bc3891385599c4846127d 100644 (file)
@@ -3,4 +3,7 @@ ARG_ENABLE("propro", "for propro support", "no");
 \r
 if (PHP_PROPRO == "yes") {\r
                EXTENSION("propro", "php_propro.c");\r
+\r
+               AC_DEFINE("HAVE_PROPRO", 1);\r
+               PHP_INSTALL_HEADERS("ext/propro", "php_propro.h");\r
 }\r