258 List(Remote_Build("Linux A", "lxbroy9", |
258 List(Remote_Build("Linux A", "lxbroy9", |
259 options = "-m32 -B -M1x2,2", args = "-N -g timing")), |
259 options = "-m32 -B -M1x2,2", args = "-N -g timing")), |
260 List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90, |
260 List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90, |
261 options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
261 options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
262 List(Remote_Build("Linux Benchmarks", "lxbroy5", historic = true, history = 90, |
262 List(Remote_Build("Linux Benchmarks", "lxbroy5", historic = true, history = 90, |
263 options = "-m32 -B -M1,2 -t Benchmarks" + |
263 options = "-m32 -B -M1x2,2 -t Benchmarks" + |
264 " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" + |
264 " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" + |
265 " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=sml -e ISABELLE_SWIPL=swipl", |
265 " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=sml -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( |