[PPL-devel] ciaoc generates invalid glue code

[Samir Genaim]

>>>  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