more hints on Z3 configuration;
authorwenzelm
Wed Sep 21 16:04:29 2011 +0200 (2011-09-21)
changeset 4502533a1af99b3a2
parent 45024 77c3e74bd954
child 45026 5c0b0d67f9b1
more hints on Z3 configuration;
src/HOL/Tools/SMT/smt_setup_solvers.ML
     1.1 --- a/src/HOL/Tools/SMT/smt_setup_solvers.ML	Wed Sep 21 15:08:15 2011 +0200
     1.2 +++ b/src/HOL/Tools/SMT/smt_setup_solvers.ML	Wed Sep 21 16:04:29 2011 +0200
     1.3 @@ -125,9 +125,10 @@
     1.4        error ("The SMT solver Z3 may only be used for non-commercial " ^
     1.5          "applications.")
     1.6    | Z3_Non_Commercial_Unknown =>
     1.7 -      error ("The SMT solver Z3 is not activated. To activate it, set " ^
     1.8 -        "the environment variable " ^ quote flagN ^ " to " ^ quote ("yes") ^
     1.9 -        "."))
    1.10 +      error ("The SMT solver Z3 is not activated. To activate it, set\n" ^
    1.11 +        "the environment variable " ^ quote flagN ^ " to " ^ quote "yes" ^ "." ^
    1.12 +        (if getenv "Z3_COMPONENT" = "" then ""
    1.13 +         else "\nSee also " ^ Path.print (Path.expand (Path.explode "$Z3_COMPONENT/etc/settings")))))
    1.14  
    1.15  end
    1.16