updated to polyml-5.7 for testing (not yet ready for production use);
authorwenzelm
Fri May 12 14:33:57 2017 +0200 (2017-05-12)
changeset 65805d3c5898f1a5e
parent 65804 73ed0ebac3b0
child 65806 0156222f2a18
updated to polyml-5.7 for testing (not yet ready for production use);
Admin/components/components.sha1
Admin/polyml/README
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/Admin/components/components.sha1	Fri May 12 11:56:41 2017 +0200
     1.2 +++ b/Admin/components/components.sha1	Fri May 12 14:33:57 2017 +0200
     1.3 @@ -140,6 +140,7 @@
     1.4  5b70c12c95a90d858f90c1945011289944ea8e17  polyml-5.6-20160118.tar.gz
     1.5  5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.tar.gz
     1.6  80b923fca3533bf291ff9da991f2262a98b68cc4  polyml-5.7-20170217.tar.gz
     1.7 +5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
     1.8  853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
     1.9  c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
    1.10  f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
     2.1 --- a/Admin/polyml/README	Fri May 12 11:56:41 2017 +0200
     2.2 +++ b/Admin/polyml/README	Fri May 12 14:33:57 2017 +0200
     2.3 @@ -1,27 +1,27 @@
     2.4  Poly/ML for Isabelle
     2.5  ====================
     2.6  
     2.7 -This compilation of Poly/ML (http://www.polyml.org) is based on the repository
     2.8 -version https://github.com/polyml/polyml/commit/6307085deb18
     2.9 +This compilation of Poly/ML 5.7 (http://www.polyml.org) is based on the
    2.10 +source distribution from https://github.com/polyml/polyml/releases/tag/v5.7
    2.11  
    2.12 -The Isabelle repository provides the administrative tool "build_polyml", which
    2.13 -can be used in the polyml component directory as follows.
    2.14 +The Isabelle repository provides the administrative tool "build_polyml",
    2.15 +which can be used in the polyml component directory as follows.
    2.16  
    2.17  * Linux:
    2.18  
    2.19 -  isabelle build_polyml -m32 -s sha1 src --with-gmp
    2.20 -  isabelle build_polyml -m64 -s sha1 src --with-gmp
    2.21 +  $ isabelle build_polyml -m32 -s sha1 src --with-gmp
    2.22 +  $ isabelle build_polyml -m64 -s sha1 src --with-gmp
    2.23  
    2.24  * Mac OS X:
    2.25  
    2.26 -  isabelle build_polyml -m32 -s sha1 src --without-gmp
    2.27 -  isabelle build_polyml -m64 -s sha1 src --without-gmp
    2.28 +  $ isabelle build_polyml -m32 -s sha1 src --without-gmp
    2.29 +  $ isabelle build_polyml -m64 -s sha1 src --without-gmp
    2.30  
    2.31  * Windows (Cygwin shell)
    2.32  
    2.33 -  isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src --with-gmp
    2.34 -  isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src --with-gmp
    2.35 +  $ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src --with-gmp
    2.36 +  $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src --with-gmp
    2.37  
    2.38  
    2.39          Makarius
    2.40 -        17-Feb-2017
    2.41 +        12-May-2017
     3.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Fri May 12 11:56:41 2017 +0200
     3.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri May 12 14:33:57 2017 +0200
     3.3 @@ -141,10 +141,10 @@
     3.4    private val remote_builds: List[List[Remote_Build]] =
     3.5    {
     3.6      List(
     3.7 -      List(Remote_Build("Poly/ML test", "lxbroy8",
     3.8 -        options = "-m32 -B -M1x2,2 -t polyml-test -e 'init_component /home/isabelle/contrib/polyml-5.7-20170217'",
     3.9 +      List(Remote_Build("Poly/ML 5.7 Linux", "lxbroy8",
    3.10 +        options = "-m32 -B -M1x2,2 -t polyml-5.7 -e 'init_component /home/isabelle/contrib/polyml-5.7'",
    3.11          args = "-N -g timing",
    3.12 -        detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-test"))),
    3.13 +        detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-5.7"))),
    3.14        List(Remote_Build("Linux A", "lxbroy9",
    3.15          options = "-m32 -B -M1x2,2", args = "-N -g timing")),
    3.16        List(Remote_Build("Linux B", "lxbroy10", history = 90,
    3.17 @@ -173,9 +173,14 @@
    3.18  
    3.19    private val remote_builds_old: List[Remote_Build] =
    3.20      List(
    3.21 +      Remote_Build("Poly/ML test", "lxbroy8",
    3.22 +        options = "-m32 -B -M1x2,2 -t polyml-test -e 'init_component /home/isabelle/contrib/polyml-5.7-20170217'",
    3.23 +        args = "-N -g timing",
    3.24 +        detect = Build_Log.Prop.build_tags + " = " + SQL.string("polyml-test")),
    3.25        Remote_Build("Mac OS X 10.8 Mountain Lion", "macbroy30", options = "-m32 -M2", args = "-a",
    3.26          detect = Build_Log.Prop.build_start + " < date '2017-03-03'"))
    3.27  
    3.28 +                      
    3.29    private def remote_build_history(rev: String, r: Remote_Build): Logger_Task =
    3.30    {
    3.31      val task_name = "build_history-" + r.host