From 4a612825f21802775596ef8b321ba79ed89c020a Mon Sep 17 00:00:00 2001
From: Enzo Crance <enzo.crance@inria.fr>
Date: Tue, 2 Jan 2024 18:11:23 +0100
Subject: [PATCH] :construction: Dockerfile (does not work yet)

---
 Dockerfile | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 Dockerfile

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..62b2e7d
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,8 @@
+FROM coqorg/coq:8.17.1
+
+RUN eval $(opam env "--switch=${COMPILER}" --set-switch)
+RUN opam update -y
+RUN cd artifact-clean
+RUN opam install -y -j "${NJOBS}" ./coq-elpi
+RUN cd ..
+RUN opam install -y -j "${NJOBS}" .