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
|
.PHONY : build
build :
dune build
.PHONY : publish-docs
publish-docs:
dune build @doc
dune build @docgen || true
git checkout gh-pages
rsync -av _build/default/doc/html/odoc/ .
.PHONY : test
test :
dune runtest
# ODOC_BENCHMARK=true will cause the driver to build a larger set of libraries
# containing more edge cases.
.PHONY : bench
bench:
@ODOC_BENCHMARK=true dune build @bench
.PHONY : coverage
coverage :
mkdir -p _coverage
BISECT_FILE=`pwd`/_coverage/bisect dune build --instrument-with bisect_ppx @test/runtest --no-buffer -j 1 --force || true
bisect-ppx-report html --coverage-path `pwd`/_coverage
@echo See _coverage/index.html
.PHONY : clean
clean :
dune clean
rm -r _coverage
|
