
1 Oct
2008
1 Oct
'08
4:44 p.m.
ppl_ciao_LINUXi86_64_glue.c
generated by ciaoc begins with
#include "/usr/local/lib/ciao/ciao-1.13/include/LINUXi86_64/ciao_gluecode.h"
but this file does not exist. The file ciao_gluecode.h is, instead, in /usr/local/lib/ciao/ciao-1.13/include.
I had the same problem with ciao and older versions of PPL, this bug (in ciao) exist only when ciao is installed with the option system-install, everything works fine when ciao is installed with the option user-install.
ciao,
--
Samir