summaryrefslogtreecommitdiff
path: root/Makefile
blob: 88fb75075e8d38ce665ade3ddfcf7dba297b6b1e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
all:
	dune build

release:
	dune build --profile=release

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

clean:
	dune clean

deps:
	opam install . --deps-only