[MLton-user] libgmp issues in cygwin

[Matthew Fluet]

On Thu, 22 Nov 2007, Dave Herman wrote:
> In the past, Vesa gave me a hand with my libgmp issues in MinGW:
>
>    http://mlton.org/pipermail/mlton-user/2007-October/001225.html
>
> Now I'm having the same problem in Cygwin. Strangely, on one of my machines I 
> seem to have successfully installed the exact same version of MLton 
> (20070826). But for some reason, on my laptop no installation of libgmp I can 
> come up with succeeds. I've tried two different standard Cygwin versions (4.1 
> and 4.2), custom-built static- and dynamic-linked versions from the libgmp 
> home page built on my machine, and pre-built versions from
>
>    http://cs.nyu.edu/exact/core/gmp/
>
> No matter what I try, I always get the same linker error (the same one I 
> reported for MinGW at the link above).
>
> Has anyone run into this in Cygwin? Is there a standard solution for this?

I built the Cygwin package against the (latest) libgmp provided by the 
Cygwin setup program.  I believe that you need both the libgmp and the 
libgmp-devel packages.