329 " -e ISABELLE_SWIPL=/usr/local/bin/swipl", |
329 " -e ISABELLE_SWIPL=/usr/local/bin/swipl", |
330 args = "-a -d '~~/src/Benchmarks'")), |
330 args = "-a -d '~~/src/Benchmarks'")), |
331 List( |
331 List( |
332 Remote_Build("macOS 14 Sonoma (ARM)", "studio1-sonoma", |
332 Remote_Build("macOS 14 Sonoma (ARM)", "studio1-sonoma", |
333 options = "-m32 -B -M1x4,2x4,4x2,8 -p pide_session=false" + |
333 options = "-m32 -B -M1x4,2x4,4x2,8 -p pide_session=false" + |
|
334 " -e ISABELLE_GHC_SETUP=true" + |
334 " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" + |
335 " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" + |
335 " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl", |
336 " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl", |
336 args = "-a -d '~~/src/Benchmarks'"), |
337 args = "-a -d '~~/src/Benchmarks'"), |
337 Remote_Build("macOS 14 Sonoma (Intel)", "mini2-sonoma", |
338 Remote_Build("macOS 14 Sonoma (Intel)", "mini2-sonoma", |
338 options = "-m32 -B -M1x2,2,4 -p pide_session=false" + |
339 options = "-m32 -B -M1x2,2,4 -p pide_session=false" + |
|
340 " -e ISABELLE_GHC_SETUP=true" + |
339 " -e ISABELLE_MLTON=/usr/local/bin/mlton -e ISABELLE_MLTON_OPTIONS=" + |
341 " -e ISABELLE_MLTON=/usr/local/bin/mlton -e ISABELLE_MLTON_OPTIONS=" + |
340 " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" + |
342 " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" + |
341 " -e ISABELLE_SWIPL=/usr/local/bin/swipl", |
343 " -e ISABELLE_SWIPL=/usr/local/bin/swipl", |
342 args = "-a -d '~~/src/Benchmarks'"), |
344 args = "-a -d '~~/src/Benchmarks'"), |
343 Remote_Build("macOS, quick_and_dirty", "mini2", |
345 Remote_Build("macOS, quick_and_dirty", "mini2", |
351 active = () => false)), |
353 active = () => false)), |
352 List( |
354 List( |
353 Remote_Build("macOS 13 Ventura (ARM)", "mini3", |
355 Remote_Build("macOS 13 Ventura (ARM)", "mini3", |
354 history_base = "8e590adaac5e", |
356 history_base = "8e590adaac5e", |
355 options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" + |
357 options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" + |
|
358 " -e ISABELLE_GHC_SETUP=true" + |
356 " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" + |
359 " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" + |
357 " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl", |
360 " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl", |
358 args = "-a -d '~~/src/Benchmarks'")), |
361 args = "-a -d '~~/src/Benchmarks'")), |
359 List( |
362 List( |
360 Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, |
363 Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, |