# HG changeset patch
# User wenzelm
# Date 1218895313 -7200
# Node ID 1eb8a3902d4987494be427a598db51d472f0c1b8
# Parent  85942d2036a0e0e38e549d24a3c02d1ea18cc1a3
Isabelle system support.

diff -r 85942d2036a0 -r 1eb8a3902d49 src/Pure/Tools/isabelle_system.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Tools/isabelle_system.scala	Sat Aug 16 16:01:53 2008 +0200
@@ -0,0 +1,26 @@
+/*  Title:      Pure/Tools/isabelle_system.scala
+    ID:         $Id$
+    Author:     Makarius
+
+Isabelle system support.
+*/
+
+package isabelle
+
+
+object IsabelleSystem {
+
+  /* Isabelle settings */
+
+  class BadSetting(val name: String) extends Exception
+
+  private def strict_getenv(name: String) = {
+    val value = System.getenv(name)
+    if (value == null || value == "") throw new BadSetting(name)
+    else value
+  }
+
+  def ISABELLE_HOME() = strict_getenv("ISABELLE_HOME_JVM")
+  def ISABELLE_HOME_USER() = strict_getenv("ISABELLE_HOME_USER_JVM")
+
+}