I have the most recent version of 1.15 in .deb form and am installing on a fresh installation of Ubuntu 12.10. I still have the exactly the same permissions problem and I can not remember how I got around it before. When I run ciao it gives a date of last Nov 16. When is the fixed version going to be available as a .deb file?
I'm working on an extension for Ciao and can't go any farther until I fix this.
Thanks, John
ciao wrote:
john(a)laptop01:~/ciao_mongo$ ciaoc test.pl {ERROR: streams_basic:$open/3, arg 1 - system error: Permission
denied}
{Executable generation aborted} john(a)laptop01:~/ciao_mongo$
Yes, this message from the standalone compiler could certainly be more informative (we will look into that, it looks like an undetected side effect of the move to ISO errors).
Forgot to respond to this: messages fixed (development version). Please let us know if you have any other problems with this! Cheers, --Manuel H
--
----------------------- The Ciao System Development Team
The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org
Ciao-users mailing list Ciao-users(a)clip.dia.fi.upm.es http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users