src/Pure/Admin/isabelle_cronjob.scala
changeset 71974 e5fe4d40326d
parent 71761 ad7ac7948d57
child 71975 2d658beb815b
equal deleted inserted replaced
71973:2108c0e7ce13 71974:e5fe4d40326d
   253       Remote_Build("Poly/ML test", "lxbroy8",
   253       Remote_Build("Poly/ML test", "lxbroy8",
   254         options = "-m32 -B -M1x2,2 -t polyml-test -i 'init_component /home/isabelle/contrib/polyml-5.7-20170217'",
   254         options = "-m32 -B -M1x2,2 -t polyml-test -i 'init_component /home/isabelle/contrib/polyml-5.7-20170217'",
   255         args = "-N -g timing",
   255         args = "-N -g timing",
   256         detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-test")),
   256         detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-test")),
   257       Remote_Build("Mac OS X 10.8 Mountain Lion", "macbroy30", options = "-m32 -M2", args = "-a",
   257       Remote_Build("Mac OS X 10.8 Mountain Lion", "macbroy30", options = "-m32 -M2", args = "-a",
   258         detect = Build_Log.Prop.build_start + " < date '2017-03-03'"))
   258         detect = Build_Log.Prop.build_start + " < date '2017-03-03'")) :::
       
   259       {
       
   260         for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy5")) }
       
   261         yield {
       
   262           Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail,
       
   263             options = "-m32 -M1x2 -t AFP -P" + n +
       
   264               " -e ISABELLE_GHC=ghc" +
       
   265               " -e ISABELLE_MLTON=mlton" +
       
   266               " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
       
   267               " -e ISABELLE_SMLNJ=sml",
       
   268             args = "-N -X large -X slow",
       
   269             afp = true,
       
   270             detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP"))
       
   271         }
       
   272       }
   259 
   273 
   260   val remote_builds1: List[List[Remote_Build]] =
   274   val remote_builds1: List[List[Remote_Build]] =
   261   {
   275   {
   262     List(
   276     List(
   263       List(Remote_Build("Linux A", "lxbroy9",
   277       List(Remote_Build("Linux A", "lxbroy9",
   315           options = "-m64 -M4" +
   329           options = "-m64 -M4" +
   316             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
   330             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
   317             " -e ISABELLE_GHC_SETUP=true" +
   331             " -e ISABELLE_GHC_SETUP=true" +
   318             " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
   332             " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
   319           args = "-a",
   333           args = "-a",
   320           detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows")))
   334           detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))))
   321     ) :::
       
   322     {
       
   323       for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy5")) }
       
   324       yield {
       
   325         List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail,
       
   326           options = "-m32 -M1x2 -t AFP -P" + n +
       
   327             " -e ISABELLE_GHC=ghc" +
       
   328             " -e ISABELLE_MLTON=mlton" +
       
   329             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
       
   330             " -e ISABELLE_SMLNJ=sml",
       
   331           args = "-N -X large -X slow",
       
   332           afp = true,
       
   333           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))
       
   334       }
       
   335     }
       
   336   }
   335   }
   337 
   336 
   338   val remote_builds2: List[List[Remote_Build]] =
   337   val remote_builds2: List[List[Remote_Build]] =
   339     List(
   338     List(
   340       List(
   339       List(