# HG changeset patch
# User blanchet
# Date 1342815586 -7200
# Node ID 480746f1012c5e3d124e4717cfcc6ef57df1b4d9
# Parent  4147f2bc444262cf1fe52137c6384f33ad2a71de
get rid of redundant "xxx_INSTALLED" environment variabl

diff -r 4147f2bc4442 -r 480746f1012c src/HOL/Tools/SMT/smt_setup_solvers.ML
--- a/src/HOL/Tools/SMT/smt_setup_solvers.ML	Fri Jul 20 22:19:46 2012 +0200
+++ b/src/HOL/Tools/SMT/smt_setup_solvers.ML	Fri Jul 20 22:19:46 2012 +0200
@@ -23,7 +23,7 @@
 val remote_prefix = "remote_"
 fun make_name is_remote name = name |> is_remote ? prefix remote_prefix
 
-fun make_local_avail name () = getenv (name ^ "_INSTALLED") = "yes"
+fun make_local_avail name () = getenv (name ^ "_SOLVER") <> ""
 fun make_remote_avail name () = getenv (name ^ "_REMOTE_SOLVER") <> ""
 fun make_avail is_remote name =
   if is_remote then make_remote_avail name