From 94eaa6e756f811849d4fb9bca1f751a5f784fa66 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 21 Sep 2020 14:47:24 +0200
Subject: [PATCH] [wp] upgrade referenced versions
---
reference-configuration.md | 4 ++--
src/plugins/wp/configure.ac | 8 ++++----
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/reference-configuration.md b/reference-configuration.md
index 67657200acd..bd5f5d3d5ba 100644
--- a/reference-configuration.md
+++ b/reference-configuration.md
@@ -2,14 +2,14 @@ The following set of packages is known to be a working configuration for
compiling Frama-C+dev, on a machine with gcc <= 9[^gcc-10]
- OCaml 4.08.1
-- alt-ergo.2.0.0 (for wp, optional)
+- alt-ergo.2.3.3 (for wp, optional)
- apron.v0.9.12 (for eva, optional)
- lablgtk.2.18.11 | lablgtk3.3.1.1 + lablgtk3-sourceview3.3.1.1
- mlgmpidl.1.2.12 (for eva, optional)
- ocamlfind.1.8.1
- ocamlgraph.1.8.8
- ppx_deriving_yojson.3.5.2 (for mdr, optional)
-- why3.1.3.1
+- why3.1.3.3
- yojson.1.7.0
- zarith.1.9.1
- zmq.5.1.3 (for server, optional)
diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac
index 0c3828b35ff..052fd1617d8 100644
--- a/src/plugins/wp/configure.ac
+++ b/src/plugins/wp/configure.ac
@@ -63,15 +63,15 @@ case $WHY3VERSION in
AC_MSG_RESULT([not found!])
plugin_disable(wp,[why3 not found])
;;
- 0.* | 1.[[012]].* | 1.3.0)
- AC_MSG_RESULT([found $WHY3VERSION: requires 1.3.1+])
+ 0.* | 1.[[012]].* | 1.3.0 | 1.3.1 | 1.3.2)
+ AC_MSG_RESULT([found $WHY3VERSION: requires 1.3.3+])
plugin_disable(wp,[non-supported why3 $WHY3VERSION])
;;
1.3.*)
AC_MSG_RESULT([found $WHY3VERSION: ok])
;;
*)
- AC_MSG_RESULT([found $WHY3VERSION: might work (should be 1.3.1+)])
+ AC_MSG_RESULT([found $WHY3VERSION: might work (should be 1.3.3+)])
;;
esac
fi
@@ -85,7 +85,7 @@ if test "$ENABLE_WP" != "no"; then
if test "$COQC" = "yes" ; then
COQVERSION=`coqc -v | sed -n -e 's|.*version* *\([[^ ]]*\) .*$|\1|p' `
case $COQVERSION in
- 8.7*|8.8*|8.9*|8.10*|8.11.*|trunk)
+ 8.7*|8.8*|8.9*|8.10*|8.11.*|8.12.*|trunk)
AC_MSG_RESULT(coqc version $COQVERSION found)
;;
*)
--
GitLab