report of PAKCS installation problems (partly solved)

From: Sebastian Fischer <>
Date: Wed, 19 Jan 2011 15:24:56 +0900


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 ( 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

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.


curry mailing list
Received on Mi Jan 19 2011 - 09:01:49 CET

This archive was generated by hypermail 2.3.0 : Di Sep 29 2020 - 07:15:03 CEST