Hello,

I tried to compile CiaoDE dev version (CiaoDE 1.15-1712-ga8c821b) but could not get ciaopp. This is the error:

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./ciaosetup: line 559: cd: /home/bpdp/master/prolog/ciao/development/source-code/CiaoDE-1.15-1712-ga8c821b/ciaopp: No such file or directory ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

It looks like the process could not find ciaopp dir (which is not exist). I tried to find the ciaopp source code anywhere (the ciaopp dir) to no avail.

I use Linux:

$ uname -a Linux bpdp-arch 3.8.10-1-ARCH #1 SMP PREEMPT Sat Apr 27 09:58:28 CEST 2013 i686 GNU/Linux $

Any hints?

Thanks.