# HG changeset patch
# User wenzelm
# Date 1609869625 -3600
# Node ID dd68f20d404186155b2b978e94a3ad0735400104
# Parent  21af3a90d19463161ec892b2d22df5b43d097122
tuned signature;

diff -r 21af3a90d194 -r dd68f20d4041 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Jan 05 18:55:24 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Jan 05 19:00:25 2021 +0100
@@ -248,7 +248,11 @@
 
   /* 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
 #
@@ -258,7 +262,7 @@
 
 # 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
@@ -552,7 +556,7 @@
 
             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"),