Fix unif trace (#2550)
[cvc5.git] / Makefile.subdir
1 # -*-makefile-*-
2 #
3 # This makefile is included from source directories in order to
4 # trigger a build in the corresponding build directory.
5 #
6 # See src/Makefile for an example.
7 #
8 include $(topdir)/builds/current
9 builddir = $(topdir)/builds/$(CURRENT_BUILD)/$(srcdir)
10 unittestdir = $(topdir)/builds/$(CURRENT_BUILD)/test/unit
11 unittestprefix = $(srcdir:src/%=%)
12
13 .PHONY: all
14 all .DEFAULT:
15 @if test -e $(builddir); then \
16 echo cd $(builddir); \
17 cd $(builddir); \
18 echo $(MAKE) $@; \
19 $(MAKE) $@; \
20 else \
21 echo; \
22 echo 'Run configure first, or type "make" in a configured build directory.'; \
23 echo; \
24 fi
25
26 .PHONY: check units
27 ifeq ($(srcdir:test/%=test),test)
28 # under the test/ directory, additional subtargets
29 .PHONY: systemtests regress regress0 regress1 regress2 regress3
30 check units systemtests regress regress0 regress1 regress2 regress3:
31 @if test -e $(builddir); then \
32 echo cd $(builddir); \
33 cd $(builddir); \
34 echo $(MAKE) $@; \
35 $(MAKE) $@; \
36 else \
37 echo; \
38 echo "** ERROR: could not find testing dir \`$(builddir)'"; \
39 echo; \
40 fi
41 else
42 check units:
43 @if test -e $(unittestdir); then \
44 echo cd $(unittestdir); \
45 cd $(unittestdir); \
46 echo $(MAKE) TEST_PREFIX=$(unittestprefix)/ $@; \
47 $(MAKE) TEST_PREFIX=$(unittestprefix)/ $@; \
48 else \
49 echo; \
50 echo "** ERROR: could not find unit testing dir \`$(unittestdir)'"; \
51 echo; \
52 exit 1; \
53 fi
54 endif
55
56 # synonyms for "check"
57 .PHONY: test
58 test: check