equal
deleted
inserted
replaced
14 |
14 |
15 object Build_History |
15 object Build_History |
16 { |
16 { |
17 /* log files */ |
17 /* log files */ |
18 |
18 |
19 val BUILD_HISTORY = "build_history" |
19 val engine = "build_history" |
|
20 val log_prefix = engine + "-" |
20 val META_INFO_MARKER = "\fmeta_info = " |
21 val META_INFO_MARKER = "\fmeta_info = " |
21 |
22 |
22 |
23 |
23 /* augment settings */ |
24 /* augment settings */ |
24 |
25 |
196 val build_end = Date.now() |
197 val build_end = Date.now() |
197 |
198 |
198 val log_path = |
199 val log_path = |
199 other_isabelle.isabelle_home_user + |
200 other_isabelle.isabelle_home_user + |
200 Build_Log.log_subdir(build_history_date) + |
201 Build_Log.log_subdir(build_history_date) + |
201 Build_Log.log_filename(BUILD_HISTORY, build_history_date, |
202 Build_Log.log_filename(Build_History.engine, build_history_date, |
202 List(build_host, ml_platform, "M" + threads) ::: build_tags) |
203 List(build_host, ml_platform, "M" + threads) ::: build_tags) |
203 |
204 |
204 val build_info = |
205 val build_info = |
205 Build_Log.Log_File(log_path.base.implode, build_result.out_lines).parse_build_info() |
206 Build_Log.Log_File(log_path.base.implode, build_result.out_lines).parse_build_info() |
206 |
207 |
213 Build_Log.Prop.multiple(Build_Log.Prop.build_tags, build_tags) ::: |
214 Build_Log.Prop.multiple(Build_Log.Prop.build_tags, build_tags) ::: |
214 Build_Log.Prop.multiple(Build_Log.Prop.build_args, build_args1) ::: |
215 Build_Log.Prop.multiple(Build_Log.Prop.build_args, build_args1) ::: |
215 List( |
216 List( |
216 Build_Log.Prop.build_group_id -> build_group_id, |
217 Build_Log.Prop.build_group_id -> build_group_id, |
217 Build_Log.Prop.build_id -> (build_host + ":" + build_start.time.ms), |
218 Build_Log.Prop.build_id -> (build_host + ":" + build_start.time.ms), |
218 Build_Log.Prop.build_engine -> BUILD_HISTORY, |
219 Build_Log.Prop.build_engine -> Build_History.engine, |
219 Build_Log.Prop.build_host -> build_host, |
220 Build_Log.Prop.build_host -> build_host, |
220 Build_Log.Prop.build_start -> Build_Log.print_date(build_start), |
221 Build_Log.Prop.build_start -> Build_Log.print_date(build_start), |
221 Build_Log.Prop.build_end -> Build_Log.print_date(build_end), |
222 Build_Log.Prop.build_end -> Build_Log.print_date(build_end), |
222 Build_Log.Prop.isabelle_version -> isabelle_version) |
223 Build_Log.Prop.isabelle_version -> isabelle_version) |
223 |
224 |