Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle;
authorwenzelm
Thu, 15 Jul 2021 18:29:34 +0200
changeset 73990 778ab9983f40
parent 73989 842fc354c031
child 73991 9f42f2a80ef3
proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle;
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_release.scala	Thu Jul 15 18:18:07 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Thu Jul 15 18:29:34 2021 +0200
@@ -557,8 +557,6 @@
         val more_components_names =
           more_components.map(Components.unpack(contrib_dir, _, progress = progress))
 
-        Components.purge(contrib_dir, platform)
-
         activate_components(isabelle_target, platform, more_components_names)
 
 
@@ -608,6 +606,8 @@
 
         // application bundling
 
+        Components.purge(contrib_dir, platform)
+
         platform match {
           case Platform.Family.linux_arm | Platform.Family.linux =>
             File.change(isabelle_target + jedit_options,
isabelle