tuned signature;
authorwenzelm
Tue, 05 Jan 2021 19:00:25 +0100
changeset 73307 dd68f20d4041
parent 73306 21af3a90d194
child 73308 27f79e7eb356
tuned signature;
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"),