From 1b80e90706c5b44268d229462de4836c2ac54d03 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 14 Apr 2021 08:51:45 +0200
Subject: [PATCH] [Dev] update Dockerfile for dev image
---
devel_tools/docker/frama-c.dev/Dockerfile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/devel_tools/docker/frama-c.dev/Dockerfile b/devel_tools/docker/frama-c.dev/Dockerfile
index bdd95a3d5de..0907e4d0438 100644
--- a/devel_tools/docker/frama-c.dev/Dockerfile
+++ b/devel_tools/docker/frama-c.dev/Dockerfile
@@ -28,7 +28,7 @@ RUN apt-get update && opam update -y && opam depext --install -y --verbose \
ocamlfind.1.8.1 \
ocamlgraph.1.8.8 \
ppx_deriving_yojson.3.5.2 \
- why3.1.3.3 \
+ why3.1.4.0 \
yojson.1.7.0 \
zarith.1.9.1 \
zmq.5.1.3 \
@@ -41,7 +41,7 @@ RUN apt-get update && opam update -y && opam depext --install -y --verbose \
RUN wget https://github.com/CVC4/CVC4/releases/download/1.7/cvc4-1.7-x86_64-linux-opt -O /usr/local/bin/cvc4
RUN chmod a+x /usr/local/bin/cvc4
-RUN why3 config --detect
+RUN why3 config detect
# with_source: keep Frama-C sources
ARG with_source=no
--
GitLab