duh

[m6w6/ext-raphf] / 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)