Sebastian Fischer wrote:
> >
> > 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?
This could be the case. The binary distribution was compiled
on a 32-bit system, and I have no idea whether this is the
reason for this problem. I tried the binary distribution
on our 64-bit system and got no problem.
Best regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Jan 20 2011 - 16:39:35 CET