[MLton] gmp for MinGW?

[Anoq of the Sun]

Hello!


I have now hit a point in the porting where I'm not sure what
to do. When running bin/add-cross for MinGW I get a problem at
some point in runtime/basis/IntInf.c that it cannot find "gmp.h".
I'm not sure how gmp is supposed to be installed for
cross compiling.

What do you do for Cygwin?

In the old ports I made, gmp was part of MLton and I fiddled
the Makefiles to install a cross-compiling version of gmp,
which seemed to work. But I'm not sure what the preferred
strategy is for this now-a-days.


Cheers
-- 
http://www.HardcoreProcessing.com