7 Nov
2007
7 Nov
'07
3:05 a.m.
david48
Didn't work for me : Installs fine, ghci works fine, but I get linking problems. ld complains about -lgmp
Did you try installing any of these? % apt-cache search libgmp libgmp3-dev - Multiprecision arithmetic library developers tools libgmp3c2 - Multiprecision arithmetic library -k -- If I haven't seen further, it is by standing in the footprints of giants