more AFP tests;
authorwenzelm
Sun Oct 15 20:34:24 2017 +0200 (22 months ago)
changeset 66868740d22146cb6
parent 66867 b00d8e1f8ddd
child 66869 222a77470c0c
more AFP tests;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 15 20:31:52 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 15 20:34:24 2017 +0200
     1.3 @@ -241,7 +241,13 @@
     1.4              " -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" +
     1.5              " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
     1.6            args = "-a",
     1.7 -          detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows")))
     1.8 +          detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
     1.9 +      List(
    1.10 +        Remote_Build("AFP slow", "lrzcloud1",
    1.11 +          options = "-m64 -M6 -s10 -t AFP",
    1.12 +          args = "-g slow -X very_slow",
    1.13 +          afp = true,
    1.14 +          detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))
    1.15      ) :::
    1.16      {
    1.17        for { (host, n) <- List("lxbroy6" -> 1, "lxbroy7" -> 2) }