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 Mi Jan 19 2011 - 09:01:49 CET