From 6f3cad91d028d798051cacd150f30ef750a41d87 Mon Sep 17 00:00:00 2001 From: Pierre Joye Date: Fri, 10 Dec 2010 17:11:58 +0000 Subject: [PATCH] - install headers, missed that one --- win32/build/Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/win32/build/Makefile b/win32/build/Makefile index 1377342991f..97245b87054 100644 --- a/win32/build/Makefile +++ b/win32/build/Makefile @@ -152,7 +152,13 @@ msi-installer: dist $(BUILD_DIR)\php.exe ..\php-installer\build-installer.php "$(BUILD_DIR)" "$(PHPDLL)" "$(SAPI_TARGETS)" "$(EXT_TARGETS)" "$(PECL_TARGETS)" # need to redirect, since INSTALL is a file in the root... -install: really-install +install: really-install install-headers + +install-headers: + @if not exist $(PHP_PREFIX)\include mkdir $(PHP_PREFIX)\include >nul + @for %D in ($(INSTALL_HEADERS_DIR)) do @if not exist $(PHP_PREFIX)\include\%D mkdir $(PHP_PREFIX)\include\%D >nul + @for %D in ($(INSTALL_HEADERS_DIR)) do @copy %D*.h $(PHP_PREFIX)\include\%D /y >nul + @for %D in ($(INSTALL_HEADERS)) do @copy %D $(PHP_PREFIX)\include /y >nul really-install: @if not exist $(PHP_PREFIX) mkdir $(PHP_PREFIX)