Hello Gavin,
CiaoPP is normally distributed on demand as a separate package from the core Ciao distribution. We are currently finishing a new Ciao distribution mechanism that organizes many components and contributed parts as separate 'bundles', including CiaoPP as one of them. While we finish this distribution please use instead the on-line version of CiaoPP, which you can find at:
This version has some limitations but should suffice for most uses. As always, we will very much appreciate if you let us know through ciao-users(a)cliplab.org of any problems that you may have with CiaoPP or Ciao.
Cheers, --Manuel H Ciao Development Team
On Monday, May 28, 2018 at 15:00:18 (+0100), Gavin Mendel-Gleason wrote:
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
Ciao-users mailing list Ciao-users(a)cliplab.org http://cliplab.org/cgi-bin/mailman/listinfo/ciao-users