--- a/src/HOL/Tools/Nitpick/kodkod.ML Tue Oct 27 14:40:24 2009 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML Tue Oct 27 15:55:36 2009 +0100
@@ -157,6 +157,7 @@
type raw_bound = n_ary_index * int list list
datatype outcome =
+ NotInstalled |
Normal of (int * raw_bound list) list * int list |
TimedOut of int list |
Interrupted of int list option |
@@ -301,6 +302,7 @@
type raw_bound = n_ary_index * int list list
datatype outcome =
+ NotInstalled |
Normal of (int * raw_bound list) list * int list |
TimedOut of int list |
Interrupted of int list option |
@@ -1069,6 +1071,10 @@
if null ps then
if code = 2 then
TimedOut js
+ else if first_error |> Substring.full
+ |> Substring.position "NoClassDefFoundError" |> snd
+ |> Substring.isEmpty |> not then
+ NotInstalled
else if first_error <> "" then
Error (first_error |> perhaps (try (unsuffix "."))
|> perhaps (try (unprefix "Error: ")), js)