src/Pure/Tools/main.scala
changeset 60997 65cbc1abfc54
parent 60992 89effcb342df
child 61001 ea38a1922a0b
equal deleted inserted replaced
60996:25e8efae71d7 60997:65cbc1abfc54
   223   {
   223   {
   224     val update =
   224     val update =
   225     {
   225     {
   226       val isabelle_home = Isabelle_System.getenv("ISABELLE_HOME")
   226       val isabelle_home = Isabelle_System.getenv("ISABELLE_HOME")
   227       val isabelle_home_user = Isabelle_System.getenv("ISABELLE_HOME_USER")
   227       val isabelle_home_user = Isabelle_System.getenv("ISABELLE_HOME_USER")
   228       val upd =
       
   229         if (Platform.is_windows)
       
   230           List(
       
   231             "ISABELLE_HOME" -> File.platform_path(isabelle_home),
       
   232             "ISABELLE_HOME_USER" -> File.platform_path(isabelle_home_user),
       
   233             "INI_DIR" -> "")
       
   234         else
       
   235           List(
       
   236             "ISABELLE_HOME" -> isabelle_home,
       
   237             "ISABELLE_HOME_USER" -> isabelle_home_user)
       
   238 
   228 
   239       (env0: Any) => {
   229       (env0: Any) => {
   240         val env = env0.asInstanceOf[java.util.Map[String, String]]
   230         val env = env0.asInstanceOf[java.util.Map[String, String]]
   241         upd.foreach {
   231         env.put("ISABELLE_HOME", File.platform_path(isabelle_home))
   242           case (x, "") => env.remove(x)
   232         env.put("ISABELLE_HOME_USER", File.platform_path(isabelle_home_user))
   243           case (x, y) => env.put(x, y)
       
   244         }
       
   245       }
   233       }
   246     }
   234     }
   247 
   235 
   248     classOf[java.util.Collections].getDeclaredClasses
   236     classOf[java.util.Collections].getDeclaredClasses
   249       .find(c => c.getName == "java.util.Collections$UnmodifiableMap") match
   237       .find(c => c.getName == "java.util.Collections$UnmodifiableMap") match