I use Visual Studio 2015 as the primary build environment. There are
project files and a "solution" that mean it should build straight out of
the box. For me, the main advantage is that the debugger for C++ is
fully integrated with the file editor. I find using gdb painful.
However, there are drawbacks. Building on Msys/mingw is exactly the
same as building on all the other platforms, using "configure" and
"make". It's easy to script and provide the configure options you want.
It is possible to use Visual Studio to provide options to the build
process but that really means creating custom configurations with the
appropriate options. It may be possible to use Visual Studio through
the command line but it's not something I've tried.
David
On 08/03/2018 15:36, Makarius wrote:
Dear Windows experts,
the task is to build the Poly/ML such that:
* the build works on the command-line / in batch mode
* the resulting poly.exe is a command-line tool, not a Windows desktop
application.
Based on recommendations by David Matthews from some years ago, I have
done that so far with MinGW -- using a rather old version of gcc. See also:
http://isabelle.in.tum.de/repos/isabelle/file/839de121665c/Admin/polyml/INSTALL-MinGW
http://isabelle.in.tum.de/repos/isabelle/file/839de121665c/Admin/polyml/README
http://isabelle.in.tum.de/repos/isabelle/file/839de121665c/src/Pure/Admin/build_polyml.scala
(with specific options for x86-windows and x86_64-windows)
I wonder if it would be better to use the free community version of
Visual Studio instead: https://www.visualstudio.com/downloads
Has anybody tried this and can report some experience with it?
Makarius
_______________________________________________
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
