305 afp = true, |
305 afp = true, |
306 detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP")) |
306 detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("AFP")) |
307 } |
307 } |
308 } |
308 } |
309 |
309 |
310 val remote_build_mini3 = |
|
311 Remote_Build("macOS 13 Ventura (ARM64)", "mini3", |
|
312 history_base = "8e590adaac5e", |
|
313 options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" + |
|
314 " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" + |
|
315 " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl", |
|
316 args = "-a -d '~~/src/Benchmarks'") |
|
317 |
|
318 val remote_builds1: List[List[Remote_Build]] = { |
310 val remote_builds1: List[List[Remote_Build]] = { |
319 List( |
311 List( |
320 List(Remote_Build("Linux A", "augsburg1", |
312 List(Remote_Build("Linux A", "augsburg1", |
321 options = "-m32 -B -M4" + |
313 options = "-m32 -B -M4" + |
322 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" + |
314 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" + |
353 args = "-a -o quick_and_dirty", |
345 args = "-a -o quick_and_dirty", |
354 detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("quick_and_dirty")), |
346 detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("quick_and_dirty")), |
355 Remote_Build("macOS, skip_proofs", "mini2", |
347 Remote_Build("macOS, skip_proofs", "mini2", |
356 options = "-m32 -M4 -t skip_proofs -p pide_session=false", args = "-a -o skip_proofs", |
348 options = "-m32 -M4 -t skip_proofs -p pide_session=false", args = "-a -o skip_proofs", |
357 detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("skip_proofs"))), |
349 detect = Build_Log.Prop.build_tags.toString + " = " + SQL.string("skip_proofs"))), |
358 List(remote_build_mini3, remote_build_mini3, remote_build_mini3), |
350 List( |
|
351 Remote_Build("macOS 13 Ventura (ARM64)", "mini3", |
|
352 history_base = "8e590adaac5e", |
|
353 options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" + |
|
354 " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" + |
|
355 " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl", |
|
356 args = "-a -d '~~/src/Benchmarks'")), |
359 List( |
357 List( |
360 Remote_Build("macOS 12 Monterey", "monterey", user = "makarius", |
358 Remote_Build("macOS 12 Monterey", "monterey", user = "makarius", |
361 options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true -p pide_session=false", |
359 options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true -p pide_session=false", |
362 args = "-a -d '~~/src/Benchmarks'")), |
360 args = "-a -d '~~/src/Benchmarks'")), |
363 List( |
361 List( |