Makefile


1
2
3
4
5
6
7
8
9
10
11

all:
	dune build

release:
	dune build --profile=release

test:
	dune runtest src/test

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