Commit 482e6f7e authored by MARCHE Claude's avatar MARCHE Claude

use Frama-C Sodium instead of Neon

parent 5a6b6c7d
......@@ -677,10 +677,10 @@ if test "$enable_frama_c" = yes ; then
FRAMAC_VERSION=`$FRAMAC -version | sed -n -e 's|Version: *\(.*\)$|\1|p'`
AC_MSG_RESULT($FRAMAC_VERSION)
case $FRAMAC_VERSION in
Neon-*) ;;
*) AC_MSG_WARN(Version Neon required.)
Sodium-*) ;;
*) AC_MSG_WARN(Version Sodium required.)
enable_frama_c=no
reason_frama_c=" (version Neon required)"
reason_frama_c=" (version Sodium required)"
;;
esac
FRAMAC_SHARE=`$FRAMAC -print-path`
......
......@@ -113,6 +113,7 @@ let (_unused : (unit -> unit) -> unit -> unit) =
(Datatype.func Datatype.unit Datatype.unit)
let run () = if ACSLtoWhy3.Enabled.get () then process ()
let () =
try
Db.Main.extend run
......
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