equal
deleted
inserted
replaced
370 List( |
370 List( |
371 List( |
371 List( |
372 Remote_Build("AFP", "lrzcloud2", actual_host = "10.195.4.41", self_update = true, |
372 Remote_Build("AFP", "lrzcloud2", actual_host = "10.195.4.41", self_update = true, |
373 proxy_host = "lxbroy10", proxy_user = "i21isatest", |
373 proxy_host = "lxbroy10", proxy_user = "i21isatest", |
374 java_heap = "8g", |
374 java_heap = "8g", |
375 options = "-m32 -M1x8 -t AFP" + |
375 options = "-m32 -M1x6 -t AFP" + |
376 " -e ISABELLE_GHC=ghc" + |
376 " -e ISABELLE_GHC=ghc" + |
377 " -e ISABELLE_MLTON=mlton" + |
377 " -e ISABELLE_MLTON=mlton" + |
378 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" + |
378 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" + |
379 " -e ISABELLE_SMLNJ=sml", |
379 " -e ISABELLE_SMLNJ=sml", |
380 args = "-a -X large -X slow", |
380 args = "-a -X large -X slow", |