[isabelle-dev] PLATFORMS: Mac OS X

Salomon Sickert sickert at in.tum.de
Fri Apr 7 10:04:31 CEST 2017

>> In this case I recommend to bump the baseline for Ubuntu up to 14.04 LTS
>> (or even 16.04 LTS).
> How did you get to that conclusion? Ubuntu LTS support lasts 5 years.
> Empiricially, I've seen the last 3 LTS versions being installed by
> Isabelle users. Consequently, we have only recently dropped 10.04 LTS
> and are now at 12.04 LTS for some years to come.

The current date is 7.4.2017. Thus this is the last month of support for 12.04 LTS. 

>> And secondly dropping support for OS X Mavericks, since that is also
>> unsupported by Apple right now.
> Dropping Mavericks now would mean to reinstall macbroy2, which is our
> main witness for non-trivial Apple hardware. Such a change comes with
> the risk that the system stops working afterwards: the old saying "never
> change a running system" has some truth in it.

I don’t get why supporting fewer systems is more work. But anyways it was just a suggestion.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5018 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170407/cc80aa1b/attachment.bin>

More information about the isabelle-dev mailing list