duh

diff --git a/.gitignore b/.gitignore
index 39fd0d82c86f831262c480777a3b7b577a74f953..a11c9e4b6d65883c804f2f9cb46341b03fbe05d2 100644 (file)
--- 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 (file)
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 f926f4d0aed3469924d3c61dc918c7595e13b730..75786b88418be549ea80d05aa6575d81bcee2d9d 100644 (file)
--- 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"/>