Re: report of PAKCS installation problems (partly solved)

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Thu, 20 Jan 2011 09:37:31 +0900

>
> 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 Thu Jan 20 2011 - 10:24:39 CET

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:08 CEST