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