333 ssh_host = "10.155.208.96", |
333 ssh_host = "10.155.208.96", |
334 options = "-m64 -M6 -U30000 -s10 -t AFP", |
334 options = "-m64 -M6 -U30000 -s10 -t AFP", |
335 args = "-g large -g slow", |
335 args = "-g large -g slow", |
336 afp = true, |
336 afp = true, |
337 bulky = true, |
337 bulky = true, |
|
338 detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP"))), |
|
339 List( |
|
340 Remote_Build("AFP2", "lrzcloud2", self_update = true, |
|
341 proxy_host = "lxbroy10", proxy_user = "i21isatest", |
|
342 ssh_host = "10.195.2.10", |
|
343 options = "-m32 -M1x8 -t AFP" + |
|
344 " -e ISABELLE_GHC=ghc" + |
|
345 " -e ISABELLE_MLTON=mlton" + |
|
346 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" + |
|
347 " -e ISABELLE_SMLNJ=sml", |
|
348 args = "-X large -X slow", |
|
349 afp = true, |
|
350 detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")), |
|
351 Remote_Build("AFP bulky2", "lrzcloud2", self_update = true, |
|
352 proxy_host = "lxbroy10", proxy_user = "i21isatest", |
|
353 ssh_host = "10.195.2.10", |
|
354 options = "-m64 -M8 -U30000 -s10 -t AFP", |
|
355 args = "-g large -g slow", |
|
356 afp = true, |
|
357 bulky = true, |
338 detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))) |
358 detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))) |
339 |
359 |
340 def remote_build_history(rev: String, afp_rev: Option[String], i: Int, r: Remote_Build) |
360 def remote_build_history(rev: String, afp_rev: Option[String], i: Int, r: Remote_Build) |
341 : Logger_Task = |
361 : Logger_Task = |
342 { |
362 { |