Add wrapper Makefile over dune commands

inQWIRE · Jan 15, 2020 · 1d77669 · 1d77669
1 parent feabf34
commit 1d77669
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -0,0 +1,16 @@
+.PHONY: build clean test
+
+build:
+	dune build @install
+
+test:
+	dune runtest
+
+install:
+	dune install
+
+uninstall:
+	dune uninstall
+
+clean:
+	dune clean