On 18/12/17 03:07, Matthew Fernandez wrote:
>
>> On Dec 16, 2017, at 03:24, Makarius <makar...@sketis.net
>> <mailto:makar...@sketis.net>> wrote:
>>
>> For Isabelle the situation is documented here:
>> http://isabelle.in.tum.de/repos/isabelle/file/tip/Admin/PLATFORMS#l26
>>
>> Presently (Isabelle/ad538f6c5d2f) the bottom line e.g. for Linux is
>> Ubuntu 12.04.
>>
>
> If I interpret this correctly (details
> below), from an Isabelle perspective Linux is the only platform holding
> you back. Are there reasons the supported Linux release is Ubuntu 12.04
> and not a newer Ubuntu?
The reason is to weaken assumptions about the required OS as much as
feasible, reaching back in time approx. 5-7 years. In the history of
Isabelle bundling, I started out with only 2-3 years, but then many
people showed up who could not run the application on their old server
installation.
There need to be really good reasons to jump forward in OS base-line
versions. The next will be Ubuntu 14.04, but there is no particular
schedule when that move happens.
> Also is the platform “x86_64-windows” using MSVC or is this still MinGW
> (Cygwin)?
>
> My interpretation of the platform limitations:
> - x86_64-linux: GCC 4.6.3 (according to a machine I have on hand)
> - x86_64-darwin: at worst OS X 10.10 which seems to come with Clang 3.5 [0]
> - x86_64-windows: ?
> - x86_64-cygwin: MinGW 4.9.3 (== GCC 4.9.3)
Note that MinGW counts as native Windows.
David Matthews somehow managed to build it in the documented setup of
Isabelle/Admin/poly/INSTALL-MinGW -- it would be good to understand
which GCC MinGW branch is actually the main one and how to move there.
Moreover, the main production platform for Poly/ML is always x86: the
bulky x86_64 version is only for really huge things.
Makarius
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
