X-Git-Url: https://git.m6w6.name/?a=blobdiff_plain;f=Makefile.frag;fp=Makefile.frag;h=292b0d4cfcc9526f60e068accf3b57a28cd3904e;hb=683ab81cceb2a487a6084e988ca3846ca1a96227;hp=0000000000000000000000000000000000000000;hpb=ce1db4cbb0eed74f3ef5736ee1855961ce35f0f8;p=m6w6%2Fext-propro

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)