From f29cc9419a7419644501afaec1d97be1fe11d1e2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 7 Oct 2020 14:59:02 +0200
Subject: [PATCH] [wp] upgrade configuration data
---
devel_tools/docker/frama-c.dev/Dockerfile | 4 ++--
doc/release/build.tex | 2 +-
opam/opam | 2 +-
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/devel_tools/docker/frama-c.dev/Dockerfile b/devel_tools/docker/frama-c.dev/Dockerfile
index a1a8c63ae8b..564d7180755 100644
--- a/devel_tools/docker/frama-c.dev/Dockerfile
+++ b/devel_tools/docker/frama-c.dev/Dockerfile
@@ -20,14 +20,14 @@ RUN opam update -y && opam install depext -y
# Install packages from reference configuration
RUN apt-get update && opam update -y && opam depext --install -y --verbose \
- alt-ergo.2.0.0 \
+ alt-ergo.2.2.0 \
apron.v0.9.12 \
conf-graphviz.0.1 \
mlgmpidl.1.2.12 \
ocamlfind.1.8.1 \
ocamlgraph.1.8.8 \
ppx_deriving_yojson.3.5.2 \
- why3.1.3.1 \
+ why3.1.3.3 \
yojson.1.7.0 \
zarith.1.9.1 \
zmq.5.1.3 \
diff --git a/doc/release/build.tex b/doc/release/build.tex
index fc70329ed3c..7d2cfc52472 100644
--- a/doc/release/build.tex
+++ b/doc/release/build.tex
@@ -279,7 +279,7 @@ Please check that the distribution (sources and API) is OK:
\item \verb+./configure --prefix="$PWD/build"+
\item \verb+make+;
\item \verb+make install+;
- \item \verb+rm -f ~/.why3.conf; why3 config --full-config+;
+ \item \verb+rm -f ~/.why3.conf; why3 config --detect+;
\item \verb+build/bin/frama-c tests/idct/*.c -eva -wp -wp-rte+
\item If you have a GUI, replace \verb+frama-c+ above with \verb+frama-c-gui+
and click around, see if things work (e.g. no segmentation faults).
diff --git a/opam/opam b/opam/opam
index 3ba784a7914..dd9a22814ac 100644
--- a/opam/opam
+++ b/opam/opam
@@ -116,7 +116,7 @@ depends: [
( "alt-ergo-free" | "alt-ergo" )
"conf-graphviz" { post }
"yojson"
- "why3" { >= "1.3.1" }
+ "why3" { >= "1.3.3" }
]
depopts: [
--
GitLab