-
Notifications
You must be signed in to change notification settings - Fork 15
/
Makefile
98 lines (78 loc) · 2.92 KB
/
Makefile
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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
# copyright (c) 2014, guillaume bury
# copyright (c) 2017, simon cruanes
.PHONY: clean build build-dev
J?=3
TIMEOUT?=30
OPTS= -j $(J) --profile=release
dev: build-dev
# TODO: repair tests
#dev: build-dev test
build-install:
@dune build $(OPTS) @install
build: build-install
build-dev:
@dune build $(OPTS)
clean:
@dune clean
@rm sidekick || true
test:
@dune runtest $(OPTS) --force --no-buffer
test-promote:
@dune runtest $(OPTS) --force --no-buffer --auto-promote
TESTOPTS ?= -j $(J) -c tests/benchpress.sexp --progress
TESTTOOL=benchpress
DATE=$(shell date +%FT%H:%M)
snapshots:
@mkdir -p snapshots
sidekick:
@ln -f -s _build/default/src/main/main.exe ./sidekick
$(TESTTOOL)-quick: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/quick-$(DATE).csv --task sidekick-smt-quick
$(TESTTOOL)-quick-proofs: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/quick-$(DATE).csv --task sidekick-smt-quick-proofs --proof-dir out-proofs-$(DATE)/
$(TESTTOOL)-local: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/quick-$(DATE).csv --task sidekick-smt-local
$(TESTTOOL)-smt-QF_UF: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_UF-$(DATE).csv --task sidekick-smt-nodir tests/QF_UF
$(TESTTOOL)-smt-QF_DT: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_DT-$(DATE).csv --task sidekick-smt-nodir tests/QF_DT
$(TESTTOOL)-smt-QF_LRA: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_LRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_LRA
$(TESTTOOL)-smt-QF_UFLRA: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_UFLRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_UFLRA
$(TESTTOOL)-smt-QF_LIA: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_LRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_LIA
$(TESTTOOL)-smt-QF_UFLIA: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_LRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_UFLIA
$(TESTTOOL)-smt-QF_UF-incr: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_UF-incr-$(DATE).csv --task sidekick-smt-nodir tests/incr/QF_UF
$(TESTTOOL)-smt-QF_LRA-incr: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_LRA-incr-$(DATE).csv --task sidekick-smt-nodir tests/incr/QF_LRA
install: build-install
@dune install
uninstall:
@dune uninstall
doc:
@dune build $(OPTS) @doc
reinstall: | uninstall install
reindent:
@find src '(' -name '*.ml' -or -name '*.mli' ')' -print0 \
| xargs -0 sed -i 's/[[:space:]]+$$//g'
@find src '(' -name '*.ml' -or -name '*.mli' ')' -print0 | xargs -0 echo "reindenting: "
@find src '(' -name '*.ml' -or -name '*.mli' ')' -print0 | xargs -0 ocp-indent -i
WATCH?=@all
watch:
dune build $(WATCH) -w $(OPTS)
#@dune build @all -w # TODO: once tests pass
.PHONY: clean doc all bench install uninstall remove reinstall bin test