From d23c3b3308ada9a2c74e854cd1e08d0bec7ca17d Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Fri, 1 Jul 2022 15:16:21 +0200
Subject: [PATCH] Forgot Makefile in previous commit

---
 ocaml/trexio/Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 ocaml/trexio/Makefile

diff --git a/ocaml/trexio/Makefile b/ocaml/trexio/Makefile
new file mode 100644
index 0000000..91d0b69
--- /dev/null
+++ b/ocaml/trexio/Makefile
@@ -0,0 +1,9 @@
+default: sources
+	dune build
+
+lib/trexio.ml: ../../trex.json read_json.py src/trexio.ml src/trexio.mli src/trexio_stubs.c
+	./read_json.py
+
+sources: lib/trexio.ml
+
+.PHONY: sources default