28 Apr
2013
28 Apr
'13
5:33 p.m.
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.
--
http://bpdp.name
Key server hkp://pgp.mit.edu
ID 0x46094339