[MLton] Re: cygwoes

Matthew Fluet fluet@cs.cornell.edu
Tue, 11 Oct 2005 09:00:07 -0400 (EDT)


>> As another stopgap, you could use mlton -stop g and then call gcc by
>> hand, since that works for you.
>>
> Please let me know what options I should pass to gcc for a successful build.

Something like

  gcc -c -Ibuild/lib/include -O1 -w mlton/mlton.*.[cS]
  gcc -o build/lib/mlton-compile \
         -Lbuild/lib/self \
         -L/usr/local/lib \
         mlton.*.o \
         -lmlton -lgmp -lgdtoa -lm

which is documented on the PortingMLton page:
   http://mlton.org/PortingMLton


I did a little more investigating of the Virtual{Alloc,Free} problems over 
the weekend, and I'm mostly convinced that (at least through Cygwin), they 
are not working as advertised by the API.  I've got more info at home that 
I'll try to post this evening.