# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1718089102 -7200
# Node ID 595b362ab8510a8feed45a91b4ce7b035ddfc9bc
# Parent  35bee9c44e1a4617cd42680ad6e967b61f7bdb62
add build_manager_database tool to restore db from log files;

diff -r 35bee9c44e1a -r 595b362ab851 src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Mon Jun 10 18:45:21 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Tue Jun 11 08:58:22 2024 +0200
@@ -1416,6 +1416,68 @@
     })
 
 
+  /* restore build manager database */
+
+  def build_manager_database(options: Options, progress: Progress = new Progress): Unit = {
+    val store = Store(options)
+    using(store.open_database()) { db =>
+      db.transaction {
+        val tables0 = Build_Manager.private_data.tables.list
+        val tables = tables0.filter(t => db.exists_table(t.name))
+        if (tables.nonEmpty) {
+          progress.echo("Removing tables " + commas_quote(tables.map(_.name)) + " ...")
+          db.execute_statement(SQL.MULTI(tables.map(db.destroy)))
+        }
+      }
+
+      val results =
+        for {
+          kind <- File.read_dir(store.finished)
+          entry <- File.read_dir(store.finished + Path.basic(kind))
+          id <- Value.Long.unapply(entry)
+          log_file = store.log_file(kind, id)
+          if log_file.is_file
+        } yield Result.read_log(store, kind, id)
+
+      val state = State(finished = results.map(result => result.name -> result).toMap)
+
+      Build_Manager.private_data.transaction_lock(db,
+        create = true, label = "Build_Manager.build_manager_database") {
+
+        progress.echo("Writing " + results.length + " results ...")
+        Build_Manager.private_data.push_state(db, State(), state)
+      }
+    }
+  }
+
+
+  /* Isabelle tool wrapper */
+
+  val isabelle_tool1 = Isabelle_Tool("build_manager_database",
+    "restore build_manager database from log files",
+    Scala_Project.here,
+    { args =>
+      var options = Options.init()
+
+      val getopts = Getopts("""
+Usage: isabelle build_manager_database [OPTIONS]
+
+  Options are:
+    -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
+
+  Restore build_manager database from log files.
+""",
+        "o:" -> (arg => options = options + arg))
+
+      val more_args = getopts(args)
+      if (more_args.nonEmpty) getopts.usage()
+
+      val progress = new Console_Progress()
+
+      build_manager_database(options, progress = progress)
+    })
+
+
   /* build task */
 
   def build_task(
@@ -1488,7 +1550,7 @@
 
   val notable_client_options = List("build_manager_ssh_user", "build_manager_ssh_group")
 
-  val isabelle_tool1 = Isabelle_Tool("build_task", "submit build task for build manager",
+  val isabelle_tool2 = Isabelle_Tool("build_task", "submit build task for build manager",
     Scala_Project.here,
     { args =>
       var afp_root: Option[Path] = None
diff -r 35bee9c44e1a -r 595b362ab851 src/Pure/System/isabelle_tool.scala
--- a/src/Pure/System/isabelle_tool.scala	Mon Jun 10 18:45:21 2024 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Tue Jun 11 08:58:22 2024 +0200
@@ -129,6 +129,7 @@
   Build_Benchmark.isabelle_tool,
   Build_Manager.isabelle_tool,
   Build_Manager.isabelle_tool1,
+  Build_Manager.isabelle_tool2,
   Build_Schedule.isabelle_tool,
   CI_Build.isabelle_tool,
   Doc.isabelle_tool,