From e8050d75ad4341a1616812969df0da0bb2b54529 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@gmail.com>
Date: Tue, 9 Apr 2024 19:38:36 +0200
Subject: [PATCH] Makefile for examples.

---
 examples/Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 examples/Makefile

diff --git a/examples/Makefile b/examples/Makefile
new file mode 100644
index 0000000..5f46698
--- /dev/null
+++ 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