summaryrefslogtreecommitdiff
path: root/Makefile
blob: 3ffc6d96ff8228f986673de3300786cdff7764d3 (plain) 
1
2
3
4
5
6
7
8

all:
	dune build

release:
	dune build --profile=release

test:
	dune runtest src/test
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 10:58:01 +0000