>
> The binary distribution did not work but complained about a missing shared
> library (libgmp.so.3) although this library is present in /usr/lib.
>
Could the reason for this problem be that I have a 64-bit system and the
binary distribution was compiled on a 32-bit system? Or should the
distribution work on a 64-bit system?
Sebastian
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Jan 20 2011 - 10:24:39 CET