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