projects
/
cvc5.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
update-copyright.pl now retrieves and incorporates author information from repository...
[cvc5.git]
/
Makefile.subdir
1
# -*-makefile-*-
2
include $(topdir)/builds/current
3
builddir = $(topdir)/builds/$(CURRENT_BUILD)/$(srcdir)
4
5
.PHONY: _default_build_ all
6
_default_build_: all
7
all %:
8
@if test -e $(builddir); then \
9
echo cd $(builddir); \
10
cd $(builddir); \
11
echo $(MAKE) $@; \
12
$(MAKE) $@; \
13
else \
14
echo; \
15
echo 'Run configure first, or type "make" in a configured build directory.'; \
16
echo; \
17
fi