> On Dec 16, 2017, at 03:24, Makarius <[email protected]> wrote: > > On 16/12/17 04:03, Matthew Fernandez wrote: >> >> Relatedly, coming up on 2018 it seems like it would be reasonable to require >> a compiler with C++11 support. I’m not sure how backwards compatible PolyML >> needs to be these days > > 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. >
Thanks for the details, Makarius. 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 readme hints at some issues but there’s nothing specific listed under “Known problems.” 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) Full C++11 support arrived in GCC 4.8.1 [1] and Clang 3.3 [2]. [0]: https://stackoverflow.com/questions/27308323/osx-10-10-yosemite-clang-gcc-versions <https://stackoverflow.com/questions/27308323/osx-10-10-yosemite-clang-gcc-versions> [1]: https://gcc.gnu.org/projects/cxx-status.html#cxx11 <https://gcc.gnu.org/projects/cxx-status.html#cxx11> [2]: https://clang.llvm.org/cxx_status.html#cxx11 <https://clang.llvm.org/cxx_status.html#cxx11>
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
