Hi Chun, polyc is a Unix shell script so it won't work on Windows as it stands. It would have to be rewritten as a .BAT file or a .EXE.
It should be possible to polyc with the Windows GUI version if you use Msys2+Mingw64. Msys provides a Unix-style shell on Windows and will build the native Windows version using the GCC toolchain using configure and make.
Regards, David
On 08/05/2017 12:28, Chun Tian (binghe) wrote:
Hi David,
Does it make sense to have a command-line-based "polyc" and "libpolymain" static library with the GUI version of PolyML on Windows? In another words, if Visual Studio 2015 and PolyML are both installed, can we expect to have all features like those on Linux/Mac side?
I ask this because I want to have HOL4 running in that PolyML GUI, while it's still possible to have all those command-line utilities generated from "polyc".
Regards,
Chun
On 5 May 2017 at 16:00, David Matthews <David.Matthews at prolingua.co.uk> wrote:
On 03/05/2017 09:23, Chris Cannam wrote:
That works. Brilliant, thank you. I'm very impressed by how easy Poly/ML is to build in Visual Studio.
I use it as my primary build and test platform so it tends to be up to date.
(I'd love to see a console-only build as an alternative .exe in the
official Windows distributions.)
That's certainly possible. Why exactly are you using a console application? My feeling has always been that Windows users expect a Windows-style GUI.
Regards, David
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml