add makefile

yallop · Mar 18, 2020 · fa920a2 · fa920a2
1 parent 42488d5
commit fa920a2
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -0,0 +1,11 @@
+.PHONY: build clean test
+
+build:
+	dune build
+
+test:
+	dune runtest
+
+clean:
+	dune clean
+