Makefile for examples.

savonet · Apr 9, 2024 · e8050d7 · e8050d7
1 parent 0841c80
commit e8050d7
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/examples/Makefile b/examples/Makefile
@@ -0,0 +1,11 @@
+ML = $(wildcard *.ml)
+PROG = $(ML:.ml=)
+
+all: test
+
+build:
+	@dune build
+
+test: build
+	@dune exec ./amp.exe
+	@dune exec ./inspect.exe