we do not support PVS 5.0 anymore

(does not make much sense without polymorphism)
parent c295f077
...@@ -469,21 +469,15 @@ else ...@@ -469,21 +469,15 @@ else
PVSVERSION=`$PVS -version | sed -n -e 's|.*Version* *\([[^ ]]*\)$|\1|p' ` PVSVERSION=`$PVS -version | sed -n -e 's|.*Version* *\([[^ ]]*\)$|\1|p' `
case $PVSVERSION in case $PVSVERSION in
6.0) 2.*|3.*|4.*|5.*)
enable_pvs_support=yes
AC_MSG_RESULT($PVSVERSION) AC_MSG_RESULT($PVSVERSION)
enable_pvs_support=no
AC_MSG_WARN(You need PVS 6.0 or higher; PVS discarded)
reason_pvs_support=" (need version 6.0 or higher)"
;; ;;
5.0) *)
enable_pvs_support=yes enable_pvs_support=yes
AC_MSG_RESULT($PVSVERSION) AC_MSG_RESULT($PVSVERSION)
enable_pvs_libs=no
AC_MSG_WARN(No PVS realizations)
reason_pvs_libs="(requires version 6.0 or higher)"
;;
*)
enable_pvs_support=no
AC_MSG_WARN(You need PVS 5.0 or higher; PVS discarded)
reason_pvs_support=" (need version 5.0 or higher)"
;; ;;
esac esac
fi fi
......
...@@ -286,8 +286,7 @@ exec = "pvs" ...@@ -286,8 +286,7 @@ exec = "pvs"
version_switch = "-version" version_switch = "-version"
version_regexp = "PVS Version \\([^ \n]+\\)" version_regexp = "PVS Version \\([^ \n]+\\)"
version_ok = "6.0" version_ok = "6.0"
version_ok = "5.0" version_bad = "^[0-5]\..+$"
version_old = "^[0-4]\..+$"
command = "'@LOCALBIN@why3-cpulimit' 0 %m -s @LOCALBIN@why3-check-pvs %l %f" command = "'@LOCALBIN@why3-cpulimit' 0 %m -s @LOCALBIN@why3-check-pvs %l %f"
driver = "drivers/pvs.drv" driver = "drivers/pvs.drv"
in_place = true in_place = true
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment