Hello all,
I saw a similar message about a missing CiaoPP earlier in the mailing list archive, but haven't seen a solution to it.
I've installed through a few different pathways, including using the debian package:
ciaode_1.15-1781.g328b907_i386.deb
And attempting to build from source off of the github repository.
In either case I'm able to get ciao running in emacs but I get the error:
"no such file or directory, ciaopp"
in emacs.
Sure enough, there is no file named ciaopp in the package whatsoever. The other files in /usr/bin/ciao* appear to be calls to the ciaoengine with some byte code, so perhaps somehow the file just didn't make it into the debian installation?
But that still doesn't explain how it didn't show up in my git build from source...
Your truly confused,
Gavin Mendel-Gleason