jon.recoil.org
this repo has no description
1.PHONY : build
2build :
3 dune build
4
5.PHONY : publish-docs
6publish-docs:
7 dune build @doc
8 dune build @docgen || true
9 git checkout gh-pages
10 rsync -av _build/default/doc/html/odoc/ .
11
12.PHONY : test
13test :
14 dune runtest
15
16# ODOC_BENCHMARK=true will cause the driver to build a larger set of libraries
17# containing more edge cases.
18.PHONY : bench
19bench:
20 @ODOC_BENCHMARK=true dune build @bench
21
22.PHONY : coverage
23coverage :
24 mkdir -p _coverage
25 BISECT_FILE=`pwd`/_coverage/bisect dune build --instrument-with bisect_ppx @test/runtest --no-buffer -j 1 --force || true
26 bisect-ppx-report html --coverage-path `pwd`/_coverage
27 @echo See _coverage/index.html
28
29.PHONY : clean
30clean :
31 dune clean
32 rm -r _coverage