Rustom Mody | 14 May 09:46 2013
Picon

whats with cabal and libgmp.so.3

Today cabal suddenly started giving me errors that libgmp.so.3 is not found
Moving away my old .cabal makes it work again

Any explanations?

[I am on debian testing. I think the causing factor was that debian switched major versions recently.
There were a lot of updates... Nothing that looked like it was related to ghc]

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Tobias Dammers | 14 May 10:30 2013
Picon

Re: whats with cabal and libgmp.so.3

On Tue, May 14, 2013 at 01:16:44PM +0530, Rustom Mody wrote:
> Today cabal suddenly started giving me errors that libgmp.so.3 is not found
> Moving away my old .cabal makes it work again
> 
> Any explanations?
> 
> [I am on debian testing. I think the causing factor was that debian
> switched major versions recently.
> There were a lot of updates... Nothing that looked like it was related to
> ghc]

That could very well be the cause. My guess is that jessie has a
different libgmp than wheezy. The stuff in your .cabal was linked
against the version from wheezy, but now it's gone because of the dist
upgrade (of which cabal is unaware); recompiling everything and linking
against the new version fixes it.

If you want to be sure, see if apt updated libgmp as part of the dist
upgrade.

Gmane