[isabelle-dev] Poly/ML 5.7

Makarius makarius at sketis.net
Mon May 15 14:24:58 CEST 2017

On 15/05/17 12:29, Lawrence Paulson wrote:
> Version 5.7 doesn’t even build on my main workstation, though it works
> on my MacBook Pro running broadly similar software. No idea what is
> going on here, but I’m not happy about it.

There are already some mail threads on the Poly/ML list, where various
people have helped out to consolidate the situation.

Anyone who is proficient with C/C++ and various platforms (Linux,
Windows, Mac OS X varieties) is invited to join there -- not just now,
but also in the longer term.

Note that for Isabelle, the build process works via "isabelle
build_polyml" from recent repository versions, see also

Going through Isabelle/Scala has the slight disadvantage of obscuring
the description of the build process, but it is more robust and
repeatable on all these platform variations.


More information about the isabelle-dev mailing list