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 74254 778ab9983f40
parent 74253 842fc354c031
child 74255 9f42f2a80ef3
proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle;
src/Pure/Admin/build_release.scala
--- 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,