259 List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90, |
259 List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90, |
260 options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
260 options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
261 List(Remote_Build("Linux Benchmarks", "lxbroy5", historic = true, history = 90, |
261 List(Remote_Build("Linux Benchmarks", "lxbroy5", historic = true, history = 90, |
262 options = "-m32 -B -M1x2,2 -t Benchmarks" + |
262 options = "-m32 -B -M1x2,2 -t Benchmarks" + |
263 " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" + |
263 " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" + |
264 " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true -e ISABELLE_SMLNJ=sml" + |
264 " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind -e ISABELLE_SMLNJ=sml" + |
265 " -e ISABELLE_SWIPL=swipl", |
265 " -e ISABELLE_SWIPL=swipl", |
266 args = "-N -a -d '~~/src/Benchmarks'", |
266 args = "-N -a -d '~~/src/Benchmarks'", |
267 detect = Build_Log.Prop.build_tags + " = " + SQL.string("Benchmarks"))), |
267 detect = Build_Log.Prop.build_tags + " = " + SQL.string("Benchmarks"))), |
268 List( |
268 List( |
269 Remote_Build("Mac OS X", "macbroy2", |
269 Remote_Build("Mac OS X", "macbroy2", |
294 args = "-a -d '~~/src/Benchmarks'")), |
294 args = "-a -d '~~/src/Benchmarks'")), |
295 List( |
295 List( |
296 Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true, |
296 Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true, |
297 options = "-m32 -M4" + |
297 options = "-m32 -M4" + |
298 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" + |
298 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" + |
299 " -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" + |
299 " -e ISABELLE_GHC_SETUP=true" + |
300 " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml", |
300 " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml", |
301 args = "-a", |
301 args = "-a", |
302 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86-windows")), |
302 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86-windows")), |
303 Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true, |
303 Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true, |
304 options = "-m64 -M4" + |
304 options = "-m64 -M4" + |
305 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" + |
305 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" + |
306 " -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" + |
306 " -e ISABELLE_GHC_SETUP=true" + |
307 " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml", |
307 " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml", |
308 args = "-a", |
308 args = "-a", |
309 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))) |
309 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))) |
310 ) ::: |
310 ) ::: |
311 { |
311 { |
313 yield { |
313 yield { |
314 List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail, |
314 List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail, |
315 options = "-m32 -M1x2 -t AFP -P" + n + |
315 options = "-m32 -M1x2 -t AFP -P" + n + |
316 " -e ISABELLE_GHC=ghc" + |
316 " -e ISABELLE_GHC=ghc" + |
317 " -e ISABELLE_MLTON=mlton" + |
317 " -e ISABELLE_MLTON=mlton" + |
318 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" + |
318 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" + |
319 " -e ISABELLE_SMLNJ=/home/smlnj/bin/sml", |
319 " -e ISABELLE_SMLNJ=/home/smlnj/bin/sml", |
320 args = "-N -X large -X slow", |
320 args = "-N -X large -X slow", |
321 afp = true, |
321 afp = true, |
322 detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP"))) |
322 detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP"))) |
323 } |
323 } |