renovated macOS tests;
authorwenzelm
Mon Nov 05 22:15:07 2018 +0100 (6 months ago)
changeset 69244264002272392
parent 69243 2a17c481d05e
child 69245 3e9f812c308c
renovated macOS tests;
Admin/PLATFORMS
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/Admin/PLATFORMS	Mon Nov 05 21:59:22 2018 +0100
     1.2 +++ b/Admin/PLATFORMS	Mon Nov 05 22:15:07 2018 +0100
     1.3 @@ -37,7 +37,7 @@
     1.4                      Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1)
     1.5                      macOS 10.12 Sierra (macbroy30 MacBookPro6,2)
     1.6                      macOS 10.13 High Sierra (!?)
     1.7 -                    macOS 10.14 Mojave (!?)
     1.8 +                    macOS 10.14 Mojave (lapnipkow3 MacBookPro9,2)
     1.9  
    1.10    x86_64-windows    Windows 7
    1.11    x86_64-cygwin     Cygwin 2.10 https://isabelle.sketis.net/cygwin_2018 (x86_64/release)
     2.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Nov 05 21:59:22 2018 +0100
     2.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Nov 05 22:15:07 2018 +0100
     2.3 @@ -287,6 +287,8 @@
     2.4          Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a",
     2.5            detect = Build_Log.Prop.build_start + " > date '2017-03-03'")),
     2.6        List(Remote_Build("Mac OS X 10.10 Yosemite", "macbroy31", options = "-m32 -M2", args = "-a")),
     2.7 +      List(Remote_Build("Mac OS X 10.14 Mojave", "lapnipkow3", ghc_setup = true, ocaml_setup = true,
     2.8 +        options = "-m32 -M1,2", args = "-a -d '~~/src/Benchmarks'")),
     2.9        List(
    2.10          Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true,
    2.11            options = "-m32 -M4" +