[MLton-user] libgmp issues in cygwin

[Dave Herman]

Aha-- that finally did the trick! I installed the libgmp-devel as 
Matthew suggested but that wasn't enough; deleting or renaming the 
/usr/lib/mlton/self/libgmp.a out of the way was the secret weapon.

Thanks!

Dave

Petersen, Leaf wrote:
> 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