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
|
PKGVERSION = $(shell git describe --always)
PKGTARBALL = benchmark-$(PKGVERSION).tbz
DUNE_OPTS?=
all build byte native:
dune build $(DUNE_OPTS) @install @tests @examples
install uninstall:
dune $@
doc:
sed -e 's/1.6-19-gd299f71/$(PKGVERSION)/' benchmark.mli \
> _build/default/benchmark.mli
dune build $(DUNE_OPTS) @doc
@echo '.def { background: #f0f0f0; }' \
>> _build/default/_doc/_html/odoc.css
lint:
opam lint benchmark.opam
clean:
dune clean
WATCH?=@install
watch:
dune build $(DUNE_OPTS) $(WATCH) -w
.PHONY: all build byte native install uninstall doc lint clean watch
|
