equal
deleted
inserted
replaced
29 val afp_source = "https://bitbucket.org/isa-afp/afp-devel" |
29 val afp_source = "https://bitbucket.org/isa-afp/afp-devel" |
30 |
30 |
31 val release_snapshot = Path.explode("~/html-data/release_snapshot") |
31 val release_snapshot = Path.explode("~/html-data/release_snapshot") |
32 |
32 |
33 val jenkins_jobs = List("isabelle-nightly-benchmark", "identify") |
33 val jenkins_jobs = List("isabelle-nightly-benchmark", "identify") |
34 |
|
35 val build_log_snapshot = Path.explode("~/html-data/build_log.db") |
|
36 |
34 |
37 |
35 |
38 |
36 |
39 /** particular tasks **/ |
37 /** particular tasks **/ |
40 |
38 |
156 using(store.open_database())(db => |
154 using(store.open_database())(db => |
157 { |
155 { |
158 store.write_info(db, files, ml_statistics = true) |
156 store.write_info(db, files, ml_statistics = true) |
159 Build_Log.create_full_view(db) |
157 Build_Log.create_full_view(db) |
160 }) |
158 }) |
161 |
|
162 // SQLite file |
|
163 using(SQLite.open_database(build_log_snapshot))(db => |
|
164 { |
|
165 store.write_info(db, files) |
|
166 db.rebuild |
|
167 }) |
|
168 } |
159 } |
169 |
160 |
170 |
161 |
171 |
162 |
172 /** task logging **/ |
163 /** task logging **/ |