[isabelle-dev] Poly/ML 5.7
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