1.1 --- a/src/HOL/Tools/SMT/smt_setup_solvers.ML Fri Jul 20 22:19:46 2012 +0200
1.2 +++ b/src/HOL/Tools/SMT/smt_setup_solvers.ML Fri Jul 20 22:19:46 2012 +0200
1.3 @@ -23,7 +23,7 @@
1.4 val remote_prefix = "remote_"
1.5 fun make_name is_remote name = name |> is_remote ? prefix remote_prefix
1.6
1.7 -fun make_local_avail name () = getenv (name ^ "_INSTALLED") = "yes"
1.8 +fun make_local_avail name () = getenv (name ^ "_SOLVER") <> ""
1.9 fun make_remote_avail name () = getenv (name ^ "_REMOTE_SOLVER") <> ""
1.10 fun make_avail is_remote name =
1.11 if is_remote then make_remote_avail name