projects
/
cvc5.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Fixes to the build system:
[cvc5.git]
/
Makefile.subdir
1
.PHONY: _default_build_
2
_default_build_: all
3
%:
4
@if test -e $(builddir); then \
5
echo cd $(builddir); \
6
cd $(builddir); \
7
echo $(MAKE) $@; \
8
$(MAKE) $@; \
9
else \
10
echo; \
11
echo 'Run configure first, or type "make" in a configured build directory.'; \
12
echo; \
13
fi