From 5e19c78f417c3ba72db9f783b530c2c58ab93f21 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Fri, 28 Jun 2024 10:39:19 +0200
Subject: [PATCH] Update on Dockerfile to support proverif

---
 scripts/Dockerfile | 22 ++++++++++++++++++----
 1 file changed, 18 insertions(+), 4 deletions(-)

diff --git a/scripts/Dockerfile b/scripts/Dockerfile
index 2f0e75c102..0cc6eb60db 100644
--- a/scripts/Dockerfile
+++ b/scripts/Dockerfile
@@ -6,10 +6,24 @@ RUN apt-get update && apt-get install -yqq make git-core python3 build-essential
 RUN rm -rf /var/lib/apt/lists/*
 
 # Install Proverif
-RUN apt-get install -yqq libexpat1-dev libgtk2.0-dev opam
-RUN opam init --best-effort -y && eval $(opam env) && opam install proverif --best-effort -y
-
-ENV PATH $HOME/.opam/default/bin/:$PATH
+WORKDIR /home/proverif/
+RUN apt-get clean && apt-get -y update && apt-get install -y git
+#RUN mkdir osboxes
+#WORKDIR home/osboxes/
+RUN apt-get install -y \
+    net-tools\
+    iputils-ping\
+    nano\
+    g++ make cmake \
+    tar \
+    ocaml \
+    ocaml-compiler-libs \
+    ocaml-findlib \
+    liblablgtk2-ocaml-dev \
+    wget 
+RUN wget https://bblanche.gitlabpages.inria.fr/proverif/proverif2.05.tar.gz && tar -xf proverif2.05.tar.gz -C /home/proverif/ && cd /home/proverif/proverif2.05/ && ./build
+
+ENV PATH="$PATH:/home/proverif/proverif2.05/"
 
 
 CMD /bin/bash
-- 
GitLab