projects
/
cvc5.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
* Add virtual destructors to CnfStream, Theory, OutputChannel, and
[cvc5.git]
/
Makefile
1
builddir
=
builds
2
3
.PHONY
:
_default_build_
all
4
_default_build_
:
all
5
all
%:
6
@if
test
-
e
$(
builddir
);
then \
7
echo cd
$(
builddir
);
\
8
cd
$(
builddir
);
\
9
echo
$(
MAKE
) $
@
;
\
10
$(
MAKE
) $
@
;
\
11
else
\
12
echo
;
\
13
echo
'Run configure first, or type "make" in a configured build directory.'
;
\
14
echo
;
\
15
fi
16
17
# synonyms for "check"
18
.PHONY
:
regress
test
19
regress
test
:
check