src/Pure/Admin/build_release.scala

   }
 
 
   /* Isabelle application script */
 
-  def make_isabelle_app(path: Path, classpath: List[Path], jdk_component: String)
+  def make_isabelle_app(
+    path: Path,
+    isabelle_home_prefix: String,
+    jdk_component: String,
+    classpath: List[Path])
   {
     val script = """#!/usr/bin/env bash
 #
 # Author: Makarius
 #
 # Main Isabelle application script.
 
 # minimal Isabelle environment
 
-ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)/../.."; pwd)"
+ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)""" + isabelle_home_prefix + """"; pwd)"
 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
 
 #paranoia settings -- avoid intrusion of alien options
 unset "_JAVA_OPTIONS"
 unset "JAVA_TOOL_OPTIONS"

             File.write(isabelle_target + Path.explode("Isabelle.options"),
               terminate_lines(java_options_title :: java_options))
 
             make_isabelle_app(
               isabelle_target + Path.explode("lib/scripts/Isabelle_app"),
-              classpath, jdk_component)
+              "/../..", jdk_component, classpath)
 
             val linux_app = isabelle_target + Path.explode("contrib/linux_app")
             File.move(linux_app + Path.explode("Isabelle"),
               isabelle_target + Path.explode(isabelle_name))
             Isabelle_System.rm_tree(linux_app)