# HG changeset patch
# User wenzelm
# Date 1678184016 -3600
# Node ID d45a01c41fe2dabc0b99a9f260d0359b7e87b1a7
# Parent  4465d9dff4486ce8b0daa247d2bc942138260c4f
tuned structure;

diff -r 4465d9dff448 -r d45a01c41fe2 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue Mar 07 10:57:50 2023 +0100
+++ b/src/Pure/Tools/build.scala	Tue Mar 07 11:13:36 2023 +0100
@@ -208,6 +208,28 @@
   }
 
 
+  /* build logic image */
+
+  def build_logic(options: Options, logic: String,
+    progress: Progress = new Progress,
+    build_heap: Boolean = false,
+    dirs: List[Path] = Nil,
+    fresh: Boolean = false,
+    strict: Boolean = false
+  ): Int = {
+    val selection = Sessions.Selection.session(logic)
+    val rc =
+      if (!fresh && build(options, selection = selection,
+            build_heap = build_heap, no_build = true, dirs = dirs).ok) Process_Result.RC.ok
+      else {
+        progress.echo("Build started for Isabelle/" + logic + " ...")
+        build(options, selection = selection, progress = progress,
+          build_heap = build_heap, fresh_build = fresh, dirs = dirs).rc
+      }
+    if (strict && rc != Process_Result.RC.ok) error("Failed to build Isabelle/" + logic) else rc
+  }
+
+
   /* command-line wrapper */
 
   val isabelle_tool1 = Isabelle_Tool("build", "build and manage Isabelle sessions",
@@ -342,28 +364,6 @@
     })
 
 
-  /* build logic image */
-
-  def build_logic(options: Options, logic: String,
-    progress: Progress = new Progress,
-    build_heap: Boolean = false,
-    dirs: List[Path] = Nil,
-    fresh: Boolean = false,
-    strict: Boolean = false
-  ): Int = {
-    val selection = Sessions.Selection.session(logic)
-    val rc =
-      if (!fresh && build(options, selection = selection,
-            build_heap = build_heap, no_build = true, dirs = dirs).ok) Process_Result.RC.ok
-      else {
-        progress.echo("Build started for Isabelle/" + logic + " ...")
-        Build.build(options, selection = selection, progress = progress,
-          build_heap = build_heap, fresh_build = fresh, dirs = dirs).rc
-      }
-    if (strict && rc != Process_Result.RC.ok) error("Failed to build Isabelle/" + logic) else rc
-  }
-
-
 
   /** "isabelle log" **/