On Thu, 10 Sep 2015, David Matthews wrote:
The Windows-Unicode branch has now been merged into master. The
-DUNICODE -D_UNICODE options are automatically included in the Windows
build. There isn't currently a programmatic way to change the code-page
but I may add a function to do that.
Great. I have now updated the Isabelle setup accordingly. It works
smoothly for x86-windows and x86_64-windows.
The formal references are here:
https://github.com/polyml/polyml/commit/4eba188ce05c99959bf20cd0fbc347d515eb26ae
http://isabelle.in.tum.de/repos/isabelle/file/9e81e87f755b/Admin/polyml/build
The above polyml/build script may be taken as a blueprint for anybody who
wants to compile it by himself. See also the other files in that
directory, especially INSTALL-MinGW.
Makarius
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
