Re: [polyml] Poly/ML version 5.8 for 32-bit Windows.

2019-09-02 Thread David Matthews
It does work on Windows 32 bit but you will need to build it yourself. 
The easiest way is to use Visual Studio 2019.  There are project and 
solution files in the distribution source.


David

On 02/09/2019 14:23, Kostirya wrote:

Hello.
Is Poly/ML version 5.8 worked on 32-bit Windows?
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml


___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml


Re: [polyml] Poly/ML version 5.8 for 32-bit Windows.

2019-09-02 Thread Eliot Moss

On 9/2/2019 5:11 PM, David Matthews wrote:
It does work on Windows 32 bit but you will need to build it yourself. The easiest way is to use 
Visual Studio 2019.  There are project and solution files in the distribution source.


If you like Cygwin, it build there, I I think it also does
under the Windows Subsystem for Linux (WSL).  In the former
case, you can run the resulting program pretty much as you
would a regular Windows program.  In the latter case, you
have to run it from within WSL (in that respect, WSL is a
bit like a virtual machine, while Cygwin is not).

Depends on what you like, etc.

Regards - Eliot Moss
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

[polyml] Poly/ML version 5.8 for 32-bit Windows.

2019-09-02 Thread Kostirya
Hello.
Is Poly/ML version 5.8 worked on 32-bit Windows?
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml