summaryrefslogtreecommitdiff
path: root/Makefile
blob: 849544b8bbb6e7b07fef9d534ff99c1b6a06fccc (plain)
1
2
3
4
5
6
7
8
9
10
11
all:
	dune build

release:
	dune build --profile=release

serve:
	cd _build/default && python3 -m http.server 5000

clean:
	dune clean