On 16/12/17 12:24, Makarius 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 > > Presently (Isabelle/ad538f6c5d2f) the bottom line e.g. for Linux is > Ubuntu 12.04.
Here are some more side-conditions for the Windows platform: http://isabelle.in.tum.de/repos/isabelle/file/ad538f6c5d2f/Admin/polyml/INSTALL-MinGW Only that particular gcc version works. Makarius _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
