Has anyone been able to install Ciao on a 64 bit version of Debian or
Ubuntu? My initial experience with Ciao was on an older 32 bit system
(Ubuntu 10.04) and it worked without any problems.
When I attempt to use the Ciao docs to install on an Intel based 64
bit system, I am running into a number of gcc and linker errors, with
various .so not being found.
What recommendations, if any, are there for getting Ciao to run on 64
bit systems?
Thanks for any help.