From 683ab81cceb2a487a6084e988ca3846ca1a96227 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Wed, 30 Sep 2015 15:04:57 +0200
Subject: [PATCH] duh

---
 .gitignore    |  1 +
 Makefile.frag | 16 ++++++++++++++++
 package.xml   |  7 ++++---
 3 files changed, 21 insertions(+), 3 deletions(-)
 create mode 100644 Makefile.frag

diff --git a/.gitignore b/.gitignore
index 39fd0d8..a11c9e4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,3 +24,4 @@ run-tests.php
 .libs/
 /php_propro_api.h
 /Doxyfile.bak
+!/Makefile.frag
diff --git a/Makefile.frag b/Makefile.frag
new file mode 100644
index 0000000..292b0d4
--- /dev/null
+++ b/Makefile.frag
@@ -0,0 +1,16 @@
+# provide headers in builddir, so they do not end up in /usr/include/ext/propro/src
+
+PHP_PROPRO_HEADERS := $(addprefix $(PHP_PROPRO_BUILDDIR)/,$(PHP_PROPRO_HEADERS))
+
+$(PHP_PROPRO_BUILDDIR)/%.h: $(PHP_PROPRO_SRCDIR)/src/%.h
+	@cat >$@ <$<
+
+all: propro-build-headers
+clean: propro-clean-headers
+
+.PHONY: propro-build-headers
+propro-build-headers: $(PHP_PROPRO_HEADERS)
+
+.PHONY: propro-clean-headers
+propro-clean-headers:
+	-rm -f $(PHP_PROPRO_HEADERS)
diff --git a/package.xml b/package.xml
index f926f4d..75786b8 100644
--- a/package.xml
+++ b/package.xml
@@ -42,11 +42,12 @@ http://pear.php.net/dtd/package-2.0.xsd">
    <file role="doc" name="README.md"/>
    <file role="doc" name="THANKS"/>
    <file role="doc" name="TODO"/>
+   <file role="doc" name="Doxyfile" />
    <file role="src" name="config.m4"/>
    <file role="src" name="config0.m4"/>
-   <file role="src" name="config.w32" />
-   <file role="doc" name="Doxyfile" />
-   <file role="src" name="php_propro.h" />
+   <file role="src" name="config.w32"/>
+   <file role="src" name="Makefile.frag"/>
+   <file role="src" name="php_propro.h"/>
    <dir name="src">
     <file role="src" name="php_propro_api.h"/>
     <file role="src" name="php_propro_api.c"/>
-- 
2.30.2