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 <[email protected]>
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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
