26 Aug
2015
26 Aug
'15
10:45 a.m.
On Wed, 26 Aug 2015, Artella Coding wrote:
Has anyone had success building via msys?
I managed after three rounds of private explanations by David Matthews. The result is formalized (in a rather terse manner) here:
http://isabelle.in.tum.de/repos/isabelle/file/7b7f01afab71/Admin/polyml/INST... http://isabelle.in.tum.de/repos/isabelle/file/7b7f01afab71/Admin/polyml/buil...
The resulting binaries are part of this test distribution of Isabelle: http://www4.in.tum.de/~wenzelm/test/Isabelle_21-Aug-2015
Note that aboue "Windows (64bit)" merely refers to the included JVM: Poly/ML is always x86-windows.
Makarius