Re: report of PAKCS installation problems (partly solved)

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Thu, 20 Jan 2011 16:18:52 +0100

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

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:10 CET