# HG changeset patch
# User wenzelm
# Date 1564996856 -7200
# Node ID b32d571f1190299ea6eb1f772f5ca8417744e999
# Parent  9af9cf410f659d117e3a146a825ebd95d979a15b
full AFP test on lrzcloud2;

diff -r 9af9cf410f65 -r b32d571f1190 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Aug 05 11:08:50 2019 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Aug 05 11:20:56 2019 +0200
@@ -335,6 +335,26 @@
           args = "-g large -g slow",
           afp = true,
           bulky = true,
+          detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP"))),
+      List(
+        Remote_Build("AFP2", "lrzcloud2", self_update = true,
+          proxy_host = "lxbroy10", proxy_user = "i21isatest",
+          ssh_host = "10.195.2.10",
+          options = "-m32 -M1x8 -t AFP" +
+            " -e ISABELLE_GHC=ghc" +
+            " -e ISABELLE_MLTON=mlton" +
+            " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
+            " -e ISABELLE_SMLNJ=sml",
+          args = "-X large -X slow",
+          afp = true,
+          detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")),
+        Remote_Build("AFP bulky2", "lrzcloud2", self_update = true,
+          proxy_host = "lxbroy10", proxy_user = "i21isatest",
+          ssh_host = "10.195.2.10",
+          options = "-m64 -M8 -U30000 -s10 -t AFP",
+          args = "-g large -g slow",
+          afp = true,
+          bulky = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP"))))
 
   def remote_build_history(rev: String, afp_rev: Option[String], i: Int, r: Remote_Build)