--- a/src/Pure/System/isabelle_system.scala Fri Jun 27 00:21:11 2014 +0100
+++ b/src/Pure/System/isabelle_system.scala Fri Jun 27 11:30:42 2014 +0200
@@ -75,12 +75,22 @@
}
set_cygwin_root()
- val env0 = sys.env + ("ISABELLE_JDK_HOME" -> posix_path(jdk_home()))
+
+ val env =
+ {
+ val user_home = System.getProperty("user.home", "")
+ val isabelle_app = System.getProperty("isabelle.app", "")
- val user_home = System.getProperty("user.home", "")
- val env =
- if (user_home == "" || env0.isDefinedAt("HOME")) env0
- else env0 + ("HOME" -> user_home)
+ val env0 = sys.env + ("ISABELLE_JDK_HOME" -> posix_path(jdk_home()))
+ val env1 =
+ if (user_home == "" || env0.isDefinedAt("HOME")) env0
+ else env0 + ("HOME" -> user_home)
+ val env2 =
+ if (isabelle_app == "") env1
+ else env1 + ("ISABELLE_APP" -> "true")
+
+ env2
+ }
val system_home =
if (isabelle_home != null && isabelle_home != "") isabelle_home