-
Notifications
You must be signed in to change notification settings - Fork 4
/
Makefile
44 lines (30 loc) · 677 Bytes
/
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
.PHONY: default setup clean build tests covered_tests
default: build
build:
dune build
setup:
opam install --deps-only ./prohlatype.opam
clean:
dune clean
apps:
dune build @apps
scraps:
dune build @scraps
tests:
dune build @tests
all:
dune build @apps @scraps @tests
release:
patch -p1 < tools/static_patch &&\
dune build @apps &&\
zip -l prohlatype.zip _build/default/src/app/*.exe
## Coverage
covered_tests:
make clean &&\
BISECT_ENABLE=Yes dune build @tests @apps
report_dir:
mkdir report_dir
report: report_dir
cd _build/default && bisect-ppx-report -html ../../report_dir ../../bisect*.out && cd -
clean_reports:
rm -rf report_dir bisect*.out