298 options = "-m32 -M1,2,4 -e ISABELLE_GHC_SETUP=true", |
298 options = "-m32 -M1,2,4 -e ISABELLE_GHC_SETUP=true", |
299 self_update = true, args = "-a -d '~~/src/Benchmarks'")), |
299 self_update = true, args = "-a -d '~~/src/Benchmarks'")), |
300 List(Remote_Build("macOS 10.14 Mojave", "lapnipkow3", |
300 List(Remote_Build("macOS 10.14 Mojave", "lapnipkow3", |
301 options = "-m32 -M1,2 -e ISABELLE_GHC_SETUP=true", |
301 options = "-m32 -M1,2 -e ISABELLE_GHC_SETUP=true", |
302 self_update = true, args = "-a -d '~~/src/Benchmarks'")), |
302 self_update = true, args = "-a -d '~~/src/Benchmarks'")), |
303 List(Remote_Build("macOS 10.15 Catalina", "laramac01", user = "makarius", |
303 List(Remote_Build("macOS 10.15 Catalina", "laramac01", |
304 proxy_host = "laraserver", proxy_user = "makarius", |
304 proxy_host = "laraserver", proxy_user = "makarius", |
305 self_update = true, options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true", |
305 self_update = true, options = "-m32 -M4 -e ISABELLE_GHC_SETUP=true", |
306 args = "-a -d '~~/src/Benchmarks'")), |
306 args = "-a -d '~~/src/Benchmarks'")), |
307 List( |
307 List( |
308 Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true, |
308 Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true, |