From b4221c952449ddfcb10d91ac7ac7974c784edc26 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 29 Aug 2023 09:04:28 -0400
Subject: [PATCH] docker

---
 .dockerignore |  2 ++
 Dockerfile    | 10 ++++++++++
 2 files changed, 12 insertions(+)
 create mode 100644 .dockerignore
 create mode 100644 Dockerfile

diff --git a/.dockerignore b/.dockerignore
new file mode 100644
index 00000000..76301f0c
--- /dev/null
+++ b/.dockerignore
@@ -0,0 +1,2 @@
+_build
+_opam
diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 00000000..5ed6cda0
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,10 @@
+
+FROM ocaml/opam:debian-unstable-ocaml-5.0 as base
+RUN cd /home/opam/opam-repository; git fetch origin; git checkout 01487021cbdc2c54d643dbf5696e2211ca3db31d -q; opam upd
+WORKDIR /home/opam/
+COPY *.opam dune-project ./
+COPY src src
+COPY test test
+RUN eval `opam env` && opam install . --deps-only -t
+RUN eval `opam env` && dune build @install
+RUN eval `opam env` && dune @runtest