From 93741d58d0922be85c790b253d3b64c4dcb8e626 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 4 Jul 2022 18:46:14 +0200
Subject: [PATCH] [docker] CAISAR dockerfile.

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

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..8e9dec2
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,46 @@
+# Dockerfile for easy install and use of CAISAR.
+
+FROM ocaml/opam:ubuntu-ocaml-4.13
+
+RUN opam repository set-url default https://opam.ocaml.org && \
+opam update -y && \
+opam install depext -y
+
+ENV OPAM_SWITCH_PREFIX "/home/opam/.opam/4.13"
+ENV CAML_LD_LIBRARY_PATH "/home/opam/.opam/4.13/lib/stublibs:/home/opam/.opam/4.13/lib/ocaml/stublibs:/home/opam/.opam/4.13/lib/ocaml"
+ENV OCAML_TOPLEVEL_PATH "/home/opam/.opam/4.13/lib/toplevel"
+ENV MANPATH "$MANPATH:/home/opam/.opam/4.13/man"
+ENV PATH "/home/opam/.opam/4.13/bin:$PATH"
+
+## Avoid prompts for time zone
+ENV TZ=Europe/Paris
+
+## Fix issue with libGL on Windows
+ENV LIBGL_ALWAYS_INDIRECT=1
+
+RUN sudo apt-get install -yy \
+protobuf-compiler \
+autoconf \
+debianutils \
+libgmp-dev \
+pkg-config \
+zlib1g-dev \
+git && \
+git clone --depth 1 https://git.frama-c.com/pub/caisar.git
+
+RUN cd caisar && opam install . --deps-only --with-test -y
+
+ENV OPAM_SWITCH_PREFIX "/home/opam/.opam/4.13"
+ENV CAML_LD_LIBRARY_PATH "/home/opam/.opam/4.13/lib/stublibs:/home/opam/.opam/4.13/lib/ocaml/stublibs:/home/opam/.opam/4.13/lib/ocaml"
+ENV OCAML_TOPLEVEL_PATH "/home/opam/.opam/4.13/lib/toplevel"
+ENV MANPATH "$MANPATH:/home/opam/.opam/4.13/man"
+ENV PATH "/home/opam/.opam/4.13/bin:$PATH"
+
+## Avoid prompts for time zone
+ENV TZ=Europe/Paris
+
+## Fix issue with libGL on Windows
+ENV LIBGL_ALWAYS_INDIRECT=1
+
+
+RUN cd caisar && make && make install
-- 
GitLab