# HG changeset patch
# User wenzelm
# Date 1543769627 -3600
# Node ID 46f484b1d6f27736950a4c0e3468d2f9fee8f898
# Parent  16f17828adb17d0f3eb66956c308d02ea709e610
distribution_classpath as in makedist_bundle;

diff -r 16f17828adb1 -r 46f484b1d6f2 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sun Dec 02 16:21:35 2018 +0100
+++ b/src/Pure/Admin/build_release.scala	Sun Dec 02 17:53:47 2018 +0100
@@ -143,6 +143,28 @@
 
   /** build_release **/
 
+  def distribution_classpath(
+    components_base: Path,
+    isabelle_home: Path,
+    isabelle_classpath: String): List[Path] =
+  {
+    val base = isabelle_home.absolute
+    val contrib_base = components_base.absolute
+
+    Path.split(isabelle_classpath).map(path =>
+    {
+      val abs_path = path.absolute
+      File.relative_path(base, abs_path) match {
+        case Some(rel_path) => rel_path
+        case None =>
+          File.relative_path(contrib_base, abs_path) match {
+            case Some(rel_path) => Path.explode("contrib") + rel_path
+            case None => error("Bad ISABELLE_CLASSPATH element: " + path)
+          }
+      }
+    }) ::: List(Path.explode("src/Tools/jEdit/dist/jedit.jar"))
+  }
+
   private def execute(dir: Path, script: String): Unit =
     Isabelle_System.bash(script, cwd = dir.file).check