duh

diff --git a/.gitignore b/.gitignore
index 48963a5b49f33c086c994cd5ab8f068438fe42e9..ce11f5a5dc5d571b2dd05882392270047424e3f1 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -26,3 +26,4 @@ run-tests.php
 .libs/
 /php_raphf_api.h
 Doxyfile.bak
+!/Makefile.frag

diff --git a/Makefile.frag b/Makefile.frag
new file mode 100644 (file)
index 0000000..94dc490
--- /dev/null
+++ b/Makefile.frag
@@ -0,0 +1,16 @@
+# provide headers in builddir, so they do not end up in /usr/include/ext/raphf/src
+
+PHP_RAPHF_HEADERS := $(addprefix $(PHP_RAPHF_BUILDDIR)/,$(PHP_RAPHF_HEADERS))
+
+$(PHP_RAPHF_BUILDDIR)/%.h: $(PHP_RAPHF_SRCDIR)/src/%.h
+       @cat >$@ <$<
+
+all: raphf-build-headers
+clean: raphf-clean-headers
+
+.PHONY: raphf-build-headers
+raphf-build-headers: $(PHP_RAPHF_HEADERS)
+
+.PHONY: raphf-clean-headers
+raphf-clean-headers:
+       -rm -f $(PHP_RAPHF_HEADERS)