more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
authorwenzelm
Sun Nov 13 21:37:30 2016 +0100 (2016-11-13)
changeset 64506b3ccfd59097d
parent 64505 545a7ab3c35f
child 64507 eace715f4988
more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
Admin/components/components.sha1
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/Admin/components/components.sha1	Sat Nov 12 17:58:11 2016 +0100
     1.2 +++ b/Admin/components/components.sha1	Sun Nov 13 21:37:30 2016 +0100
     1.3 @@ -137,6 +137,7 @@
     1.4  bd6a448f0e0d5787747f4f30ca661f9c1868e4a7  polyml-5.6-20151223.tar.gz
     1.5  5b70c12c95a90d858f90c1945011289944ea8e17  polyml-5.6-20160118.tar.gz
     1.6  5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.tar.gz
     1.7 +853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
     1.8  8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
     1.9  847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
    1.10  8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz
     2.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 12 17:58:11 2016 +0100
     2.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 13 21:37:30 2016 +0100
     2.3 @@ -96,6 +96,10 @@
     2.4  
     2.5    private val remote_builds =
     2.6      List(
     2.7 +      List(Remote_Build("lxbroy8",
     2.8 +        options = "-m32 -B -M1x2,2 -t polyml-test -e 'init_component /home/isabelle/contrib/polyml-test-7a7b742897e9'",
     2.9 +        args = "-N -g timing")),
    2.10 +      List(Remote_Build("lxbroy9", options = "-m32 -B -M1x2,2", args = "-N -g timing")),
    2.11        List(Remote_Build("lxbroy10", options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")),
    2.12        List(
    2.13          Remote_Build("macbroy2", options = "-m32 -M8", args = "-a"),