-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathMakefile.test
81 lines (60 loc) · 2.46 KB
/
Makefile.test
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
# Second-stage Makefile, after Coq extraction
# Purpose: tests
include Makefile.config
TESTS=tests/readscop tests/writescop
#
# Variables from Makefile.config:
# -OCAML_NATIVE_COMP: native-code compilation is supported
# -OCAML_OPT_COMP: can we use the natively-compiled compilers
# -COMPFLAGS: compile options
# -LINK_OPT: additional linker flags for the native binary
#
# Menhir configuration.
include Makefile.menhir
test: scopreader-test cpol2copenscop-test pluto-test csample1-test csample2-test csample3-test pluto-all-test
@echo "All tests finished."
# clean: scopreader-clean
clean: scopreader-clean cpol2copenscop-clean pluto-clean csample1-clean csample2-clean csample3-clean pluto-all-clean
@echo "All tests cleaned."
scopreader-test:
@echo "@@@@Testing scopreader."
@cd tests/readscop/ && $(MAKE) -f Makefile clean all
@echo "@@@@Testing scopreader finished."
scopreader-clean:
cd tests/readscop/ && $(MAKE) -f Makefile clean
cpol2copenscop-test:
@echo "@@@@Testing cpol2openscop."
@cd tests/cpol2copenscop/ && $(MAKE) -f Makefile clean && $(MAKE) -f Makefile depend && $(MAKE) -f Makefile test
@echo "@@@@Testing cpol2openscop finished."
cpol2copenscop-clean:
cd tests/cpol2copenscop/ && $(MAKE) -f Makefile clean
pluto-test:
@echo "@@@@Testing pluto."
@cd tests/pluto/ && $(MAKE) -f Makefile clean && $(MAKE) -f Makefile depend && $(MAKE) -f Makefile test
@echo "@@@@Testing pluto finished."
pluto-clean:
cd tests/cpol2copenscop/ && $(MAKE) -f Makefile clean
csample1-test:
@echo "@@@@Csample-1."
@cd tests/csample1/ && $(MAKE) -f Makefile clean && $(MAKE) -f Makefile depend && $(MAKE) -f Makefile test
@echo "@@@@Csample-1 finished."
csample1-clean:
@cd tests/csample1/ && $(MAKE) -f Makefile clean
csample2-test:
@echo "@@@@Csample-2."
@cd tests/csample2/ && $(MAKE) -f Makefile clean && $(MAKE) -f Makefile depend && $(MAKE) -f Makefile test
@echo "@@@@Csample-2 finished."
csample2-clean:
cd tests/csample2/ && $(MAKE) -f Makefile clean
csample3-test:
@echo "@@@@Csample-3."
@cd tests/csample3/ && $(MAKE) -f Makefile clean && $(MAKE) -f Makefile depend && $(MAKE) -f Makefile test
@echo "@@@@Csample-3 finished."
csample3-clean:
cd tests/csample3/ && $(MAKE) -f Makefile clean
pluto-all-test:
@echo "@@@@Testing Pluto all examples."
@cd tests/pluto-all/ && $(MAKE) -f Makefile clean && $(MAKE) -f Makefile depend && $(MAKE) -f Makefile test
@echo "@@@@Testing Pluto finished."
pluto-all-clean:
cd tests/pluto-all/ && $(MAKE) -f Makefile clean