Skip to content

Commit 0468b0f

Browse files
committed
Makefile: become dune-centric
1 parent 70df96a commit 0468b0f

File tree

1 file changed

+28
-5
lines changed

1 file changed

+28
-5
lines changed

Makefile

Lines changed: 28 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,29 @@
1+
.DEFAULT_GOAL := build
12

2-
docs: mqtt-client/Mqtt_client.mli
3-
esy dune build @doc
4-
rm -rf ./docs
5-
esy cp -r '#{self.target_dir}/default/_doc/_html' ./docs
6-
cp ./etc/odoc.css ./docs/odoc.css
3+
.PHONY: build
4+
build:
5+
dune build --root=.
6+
7+
.PHONY: rebuild
8+
rebuild:
9+
dune build --root=. -w
10+
11+
.PHONY: test
12+
test:
13+
dune build --root=. @runtest
14+
15+
.PHONY: retest
16+
retest:
17+
dune build --root=. -w @runtest
18+
19+
.PHONY: doc
20+
doc:
21+
dune build --root=. @doc
22+
23+
.PHONY: redoc
24+
redoc:
25+
dune build --root=. -w @doc
26+
27+
.PHONY: clean
28+
clean:
29+
dune clean --root=.

0 commit comments

Comments
 (0)