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/INSTALL-MinGW
http://isabelle.in.tum.de/repos/isabelle/file/7b7f01afab71/Admin/polyml/build
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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
