[polyml] Building on Windows in batch mode -- Visual Studio

[Makarius]

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

[Chris Cannam]

Post by Makarius
Dear Windows experts

That should rule me out, but I'll reply anyway!

Post by Makarius
* the build works on the command-line / in batch mode
* the resulting poly.exe is a command-line tool, not a Windows desktop
application.
[...]
I wonder if it would be better to use the free community version of
Visual Studio instead: https://www.visualstudio.com/downloads

I succeeded in building a command-line (console rather than Windows subsystem) executable of Poly/ML using Visual Studio following the suggestions from David in this thread http://lists.inf.ed.ac.uk/pipermail/polyml/2017-May/002006.html

I was still running the build itself from the Visual Studio GUI, but I would imagine the msbuild tool can do it from project files without GUI intervention.

One problem is that this of course requires (small) modifications to the local copy rather than working straight from a repo checkout.


Chris

[David Matthews]

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

Post by Makarius
Dear Windows experts,
* 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
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
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml