From d17697cac1d1a8318c6eb24ce5435b8a67dfca06 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Thu, 27 Jun 2024 16:52:02 +0200
Subject: [PATCH] Update on script for setting path to proverif

---
 scripts/Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/Dockerfile b/scripts/Dockerfile
index c5f215027c..2f0e75c102 100644
--- a/scripts/Dockerfile
+++ b/scripts/Dockerfile
@@ -9,6 +9,8 @@ RUN rm -rf /var/lib/apt/lists/*
 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
+
 
 CMD /bin/bash
 
-- 
GitLab