On 9 June 2018 at 02:31, <ciao@cliplab.org> wrote:

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:

http://run.ciao-lang.org

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@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@cliplab.org
��> http://cliplab.org/cgi-bin/mailman/listinfo/ciao-users

--
-----------------------------------------------------------------------------
��The Ciao Development Team�� |�� IMDEA Software Institute
��ciao@cliplab.org�� | and Technical University of Madrid
�� http://www.ciao-lang.org / http://www.cliplab.org
-----------------------------------------------------------------------------