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
|