equal
deleted
inserted
replaced
243 } |
243 } |
244 |
244 |
245 val build_start = Date.now() |
245 val build_start = Date.now() |
246 val build_args1 = List("-v", "-j" + processes) ::: afp_build_args ::: build_args |
246 val build_args1 = List("-v", "-j" + processes) ::: afp_build_args ::: build_args |
247 |
247 |
248 val build_isabelle = |
248 val build_result = |
249 Other_Isabelle(root, isabelle_identifier = isabelle_identifier, |
249 Other_Isabelle(root, isabelle_identifier = isabelle_identifier, |
250 user_home = user_home, progress = build_out_progress) |
250 user_home = user_home, progress = build_out_progress) |
251 val build_result = |
251 .bash("bin/isabelle build " + Bash.strings(build_args1 ::: afp_sessions), |
252 build_isabelle.bash("bin/isabelle build " + Bash.strings(build_args1 ::: afp_sessions), |
|
253 redirect = true, echo = true, strict = false) |
252 redirect = true, echo = true, strict = false) |
254 |
253 |
255 val build_end = Date.now() |
254 val build_end = Date.now() |
256 |
255 |
257 val build_info: Build_Log.Build_Info = |
256 val build_info: Build_Log.Build_Info = |