-
Notifications
You must be signed in to change notification settings - Fork 8
/
Makefile
48 lines (33 loc) · 905 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
45
46
47
48
# copyright (c) 2014, guillaume bury
# copyright (c) 2017, simon cruanes
J?=3
OPTS= -j $(J)
build:
@dune build $(OPTS) @install --profile=release
dev: build-dev test
build-dev:
@dune build $(OPTS) @install
test: build-dev
@echo "run tests…"
@OCAMLRUNPARAM=b dune runtest --force --no-buffer
clean:
@dune clean
install: build-install
@dune install
uninstall:
@dune uninstall
doc:
@dune build $(OPTS) @doc
reinstall: | uninstall install
ocp-indent:
@which ocp-indent > /dev/null || { \
echo 'ocp-indent not found; please run `opam install ocp-indent`'; \
exit 1 ; \
}
reindent: ocp-indent
@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 @all -w
.PHONY: clean doc all bench install uninstall remove reinstall bin test