Rob,
On 24/05/2014 14:29, Rob Arthan wrote:
What exactly do you mean by a console application?
I mean the kind of thing that Visual Studio creates if you select
“Win32 Console Application” when you create a new C++ project. I.e.,
a program with the standard C interface to the operating system
David,
On 20 May 2014, at 13:07, David Matthews wrote:
> Rob,
>
> On 20/05/2014 06:57, Rob Arthan wrote:
>> I agree that it wasn’t very clear whether this was thought to be a
>> bug in the MinGW header files or not.
>
> I may have a look and see if this is something I can fix easily but there'
On Mon, 19 May 2014, David Matthews wrote:
Using Cygwin might be a possibility if you are thinking of providing a
separate GUI. The package that Makarius has provided for running
Isabelle on Windows uses Poly/ML under Cygwin but all the user
interaction is through jEdit.
Isabelle/jEdit is m
On Tue, 20 May 2014, David Matthews wrote:
Cygwin does work for me, but unfortunately, having to install it is a
stopper for some of my potential users. I tried compiling under MinGW
with __CYGWIN__ set, but it doesn’t work. Would it be difficult to
separate the choice between polystub.c bei
Rob,
On 20/05/2014 06:57, Rob Arthan wrote:
I agree that it wasn’t very clear whether this was thought to be a
bug in the MinGW header files or not.
I may have a look and see if this is something I can fix easily but
there's no point if they are going to fix in Mingw anyway. Last time I
use
David,
On 19 May 2014, at 15:42, David Matthews wrote:
> Rob,
>
> On 18/05/2014 17:36, Rob Arthan wrote:
>> I am trying to understand my options for using Poly/ML on MinGW for
>> building windows applications coded in Standard ML.
>>
>> There is a bug reported in http://sourceforge.net/p/mingw
Rob,
On 18/05/2014 17:36, Rob Arthan wrote:
I am trying to understand my options for using Poly/ML on MinGW for
building windows applications coded in Standard ML.
There is a bug reported in http://sourceforge.net/p/mingw/bugs/2043/
that you have to work around to build Poly/ML with the current
I am trying to understand my options for using Poly/ML on MinGW for building
windows applications coded in Standard ML.
There is a bug reported in http://sourceforge.net/p/mingw/bugs/2043/ that you
have to work around to build Poly/ML with the current MinGW. The work-around is
to run configure