1# provide headers in builddir, so they do not end up in /usr/include/ext/raphf/src
2
3PHP_RAPHF_HEADERS := $(addprefix $(PHP_RAPHF_BUILDDIR)/,$(PHP_RAPHF_HEADERS))
4
5$(PHP_RAPHF_BUILDDIR)/%.h: $(PHP_RAPHF_SRCDIR)/src/%.h
6	@cat >$@ <$<
7
8$(all_targets): raphf-build-headers
9clean: raphf-clean-headers
10
11.PHONY: raphf-build-headers
12raphf-build-headers: $(PHP_RAPHF_HEADERS)
13
14.PHONY: raphf-clean-headers
15raphf-clean-headers:
16	-rm -f $(PHP_RAPHF_HEADERS)
17