25 Aug
2014
25 Aug
'14
12:57 a.m.
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.