 psi-clean-headers:
 	-rm -f $(PHP_PSI_HEADERS)
 
+.PHONY: psi-clean
 psi-clean: psi-clean-headers
 
 .PHONY: psi-clean-objects

endif
endif

install-headers: psi-build-headers
.PHONY: psi-clean
clean: psi-clean

.PHONY: psi-build-headers
psi-build-headers: $(PHP_PSI_HEADERS)


git# provide headers in builddir, so they do not end up in /usr/include/ext/psi/src

PHP_PSI_HEADERS := $(addprefix $(PHP_PSI_BUILDDIR)/,$(PHP_PSI_HEADERS))
PHP_PSI_SOURCES := $(addprefix $(PHP_PSI_SRCDIR)/,$(PHP_PSI_SOURCES))
