projects
/
m6w6
/
ext-psi
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
|
github
raw
|
patch
|
inline
| side by side (parent:
5298e4d
)
build: fix install headers
author
Michael Wallner
<mike@php.net>
Wed, 19 Oct 2016 06:40:10 +0000
(06:40 +0000)
committer
Michael Wallner
<mike@php.net>
Wed, 19 Oct 2016 06:40:10 +0000
(06:40 +0000)
Makefile.frag
patch
|
blob
|
history
diff --git
a/Makefile.frag
b/Makefile.frag
index c7c7106ee0c1d5e5a6f4d10728b1391099447e7c..503151388203fd670df1ec0ed68df0f89483cbea 100644
(file)
--- a/
Makefile.frag
+++ b/
Makefile.frag
@@
-3,7
+3,9
@@
PHP_PSI_HEADERS := $(addprefix $(PHP_PSI_BUILDDIR)/,$(PHP_PSI_HEADERS))
PHP_PSI_SOURCES := $(addprefix $(PHP_PSI_SRCDIR)/,$(PHP_PSI_SOURCES))
PHP_PSI_HEADERS := $(addprefix $(PHP_PSI_BUILDDIR)/,$(PHP_PSI_HEADERS))
PHP_PSI_SOURCES := $(addprefix $(PHP_PSI_SRCDIR)/,$(PHP_PSI_SOURCES))
-$(PHP_PSI_BUILDDIR)/types/%.h: $(PHP_PSI_SRCDIR)/src/types/%.h
+$(PHP_PSI_BUILDDIR)/types:
+ mkdir -p $@
+$(PHP_PSI_BUILDDIR)/types/%.h: $(PHP_PSI_SRCDIR)/src/types/%.h | $(PHP_PSI_BUILDDIR)/types
@cat >$@ <$<
$(PHP_PSI_BUILDDIR)/%.h: $(PHP_PSI_SRCDIR)/src/%.h
@cat >$@ <$<
@cat >$@ <$<
$(PHP_PSI_BUILDDIR)/%.h: $(PHP_PSI_SRCDIR)/src/%.h
@cat >$@ <$<
@@
-17,6
+19,7
@@
psi-build-headers: $(PHP_PSI_HEADERS)
.PHONY: psi-clean-headers
psi-clean-headers:
-rm -f $(PHP_PSI_HEADERS)
.PHONY: psi-clean-headers
psi-clean-headers:
-rm -f $(PHP_PSI_HEADERS)
+ -rmdir $(PHP_PSI_BUILDDIR)/types
.PHONY: psi-clean-sources
psi-clean-sources:
.PHONY: psi-clean-sources
psi-clean-sources:
@@
-30,8
+33,8
@@
psi-clean-aux:
.PHONY: psi-clean
psi-clean: psi-clean-headers psi-clean-sources psi-clean-aux
.PHONY: psi-clean
psi-clean: psi-clean-headers psi-clean-sources psi-clean-aux
-
-
+
+
lempar.c:
curl -sSo $@ "http://www.sqlite.org/src/raw/tool/lempar.c?name=3ec1463a034b37d87d782be5f6b8b10a3b1ecbe7"
lempar.c:
curl -sSo $@ "http://www.sqlite.org/src/raw/tool/lempar.c?name=3ec1463a034b37d87d782be5f6b8b10a3b1ecbe7"