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