--- a/src/Pure/Build/build_process.scala Tue Mar 12 16:20:02 2024 +0000
+++ b/src/Pure/Build/build_process.scala Wed Mar 13 10:58:15 2024 +0100
@@ -287,6 +287,9 @@
object private_data extends SQL.Data("isabelle_build") {
val database: Path = Path.explode("$ISABELLE_HOME_USER/build.db")
+
+ /* tables */
+
override lazy val tables: SQL.Tables =
SQL.Tables(
Updates.table,
@@ -301,6 +304,9 @@
private lazy val build_id_tables =
tables.filter(t => Generic.build_id_table(t) && !Generic.build_uuid_table(t))
+
+ /* generic columns */
+
object Generic {
val build_id = SQL.Column.long("build_id")
val build_uuid = SQL.Column.string("build_uuid")