From 359965c5a6715353fbb6f1c38dcd016894de9344 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9lio=20Brun?= <lelio.brun@isae-supaero.fr>
Date: Tue, 12 Apr 2022 15:33:32 +0200
Subject: [PATCH] use a fork of Frama-C in Docker
---
docker/Dockerfile | 1 +
1 file changed, 1 insertion(+)
diff --git a/docker/Dockerfile b/docker/Dockerfile
index 679a32c7..9caefb8a 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -4,6 +4,7 @@ RUN sudo apt-get update &&\
sudo apt-get install -y cvc4 z3
RUN opam repository set-url default "https://opam.ocaml.org" &&\
+ opam repository add lustrec "https://gitlab.isae-supaero.fr/lustrec/opam-repository.git" &&\
opam update &&\
opam depext -i\
dune.2.9.1 dune-site menhir zarith ppx_deriving_yojson ocamlgraph alt-ergo frama-c.24.0 re
--
GitLab