report of PAKCS installation problems (partly solved)

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Wed, 19 Jan 2011 15:24:56 +0900

Hello,

I just installed PAKCS on my Ubuntu system and thought I'd share my
experience in case others have similar problems.

The binary distribution did not work but complained about a missing shared
library (libgmp.so.3) although this library is present in /usr/lib. I don't
know how to solve this and used the source tarball.

I compiled the sources with ghc-7.0.1. After cymake was compiled
successfully, I got errors when compiling Curry files:

    hGetContents: invalid argument (Invalid or incomplete multibyte or wide
character)

The problem was that the Curry files are encoded with ISO-8859, my LANG
variable specifies UTF-8, and cymake was apparently compiled to require
UTF-8, at least for some files. Recompiling cymake with LANG=C did not solve
the problem, so I kept LANG=en_US.utf8 and manually converted the files
where the installation stopped using iconv. For example:

    bash# <lib/GUI.curry iconv -f ISO-8859-1 -t UTF8>GUI.curry
    bash# mv GUI.curry lib/GUI.curry

Repeating this for the hand-full of files where the installation stopped,
finally left me with an apparently working PAKCS installation.

Cheers,
Sebastian



_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Wed Jan 19 2011 - 09:01:49 CET

This archive was generated by hypermail 2.3.0 : Thu Sep 19 2019 - 07:15:08 CEST