# HG changeset patch
# User wenzelm
# Date 1246648456 -7200
# Node ID 9a0f28bcc81d1b09076c94324cef8c0fd0e95fe9
# Parent  cdfe9a757d5fadd86012572d9dcdc4bf6d7cbad8
init isabelle home from existing setting or hint via system property;

diff -r cdfe9a757d5f -r 9a0f28bcc81d src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Fri Jul 03 20:37:14 2009 +0200
+++ b/src/Pure/System/isabelle_system.scala	Fri Jul 03 21:14:16 2009 +0200
@@ -80,18 +80,19 @@
 
     val env0 = Map(java.lang.System.getenv.toList: _*)
 
-    val isabelle =
-      env0.get("ISABELLE_TOOL") match {
+    val isabelle_home =
+      env0.get("ISABELLE_HOME") match {
         case None | Some("") =>
-          val isabelle = java.lang.System.getProperty("isabelle.tool")
-          if (isabelle == null || isabelle == "") "isabelle"
-          else isabelle
-        case Some(isabelle) => isabelle
+          val path = java.lang.System.getProperty("isabelle.home")
+          if (path == null || path == "") error("Unknown Isabelle home directory")
+          else path
+        case Some(path) => path
       }
 
     val dump = File.createTempFile("isabelle", null)
     try {
-      val cmdline = shell_prefix ::: List(isabelle, "getenv", "-d", dump.toString)
+      val cmdline = shell_prefix :::
+        List(isabelle_home + "/bin/isabelle", "getenv", "-d", dump.toString)
       val proc = Isabelle_System.raw_execute(env0, true, cmdline: _*)
       val (output, rc) = Isabelle_System.process_output(proc)
       if (rc != 0) error(output)