[MLton-user] libgmp issues in cygwin

[Petersen, Leaf]

Did getting libgmp-devel solve your problem?  If not:

I ran into a similar looking problem upgrading on cygwin that was caused
by the fact that the previous mlton release came packaged with its own
libgmp somewhere in the mlton directory tree that was being found by the
linker in preference to the standard installed cygwin library.  I
believe the location was /usr/lib/mlton/self/ .  If you are upgrading,
you might check that there is not an old copy of libgmp sitting in that
directory.

Cheers,
Leaf

>-----Original Message-----
>From: mlton-user-bounces at mlton.org
[mailto:mlton-user-bounces at mlton.org] On
>Behalf Of Matthew Fluet
>Sent: Thursday, November 22, 2007 7:37 AM
>To: Dave Herman
>Cc: mlton-user at mlton.org
>Subject: Re: [MLton-user] libgmp issues in cygwin
>
>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.
>
>_______________________________________________
>MLton-user mailing list
>MLton-user at mlton.org
>http://mlton.org/mailman/listinfo/mlton-user