On 18/12/17 03:07, Matthew Fernandez wrote:
On Dec 16, 2017, at 03:24, Makarius <makarius at sketis.net <mailto:makarius at 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