src/HOL/Tools/Nitpick/nitpick.ML
changeset 50487 9486641e691b
parent 50450 358b6020f8b6
child 50830 fc4025435b51
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Wed Dec 12 03:47:02 2012 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Wed Dec 12 11:18:06 2012 +0100
     1.3 @@ -191,7 +191,12 @@
     1.4    \\"kodkodi-x.y.z\" directory's full path to " ^
     1.5    Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/etc/components")) ^
     1.6    " on a line of its own."
     1.7 -
     1.8 +fun kodkodi_too_old_message () =
     1.9 +  "The installed Kodkodi version is too old. To install a newer version, \
    1.10 +  \download the package from \"http://www21.in.tum.de/~blanchet/#software\" \
    1.11 +  \and add the \"kodkodi-x.y.z\" directory's full path to " ^
    1.12 +  Path.print (Path.expand (Path.explode "$ISABELLE_HOME_USER/etc/components")) ^
    1.13 +  " on a line of its own."
    1.14  val max_unsound_delay_ms = 200
    1.15  val max_unsound_delay_percent = 2
    1.16  
    1.17 @@ -817,6 +822,9 @@
    1.18            | KK.KodkodiNotInstalled =>
    1.19              (print_nt kodkodi_not_installed_message;
    1.20               (found_really_genuine, max_potential, max_genuine, donno + 1))
    1.21 +          | KK.KodkodiTooOld =>
    1.22 +            (print_nt kodkodi_too_old_message;
    1.23 +             (found_really_genuine, max_potential, max_genuine, donno + 1))
    1.24            | KK.Normal ([], unsat_js, s) =>
    1.25              (update_checked_problems problems unsat_js; show_kodkod_warning s;
    1.26               (found_really_genuine, max_potential, max_genuine, donno))