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