Hi,
I am running Ciao (the .bat) in Administrator mode. The permission errors are now gone.
But I got a different error now:
sh: -c: line 0: syntax error near unexpected token `(' sh: -c: line 0: `cd /cygdrive/c/Program Files (x86)/CiaoDE/ciao/library/random ; gcc -c -I/home/ciaobot/ciaobot-data/vm_winxp/source/master/CiaoDE/build/includ e/Win32i86 -o /cygdrive/c/Program Files (x86)/CiaoDE/ciao/library/random/random_ Win32i86_glue.o /cygdrive/c/Program Files (x86)/CiaoDE/ciao/library/random/rando m_Win32i86_glue.c' {Dynamic link failed}
But somehow it seems to me that I can ignore it. Or what is the advice here.
Bye
Jose F. Morales schrieb:
Hi Jan,
It seems like a permission error. Installation did not generate precompiled binaries for those library modules so the system is trying to compile them (presumably) in a place where your user do not have write access. It should be fixed in the next (minor) release of the development version. In any case it is not a major problem: the system should still work normally even if those files are not there.
As a workaround, you may use the modules or packages from a privileged user. Once the precompiled versions are there it is not necessary to regenerate them again.
Thank you
On Mon, Sep 9, 2013 at 12:43 PM, Jan Burse <janburse(a)fastmail.fm mailto:janburse(a)fastmail.fm> wrote:
Can I use ciao prolog without cygwin? I get the following error: Ciao 1.15-1781-g328b907: Wed Jun 19 00:06:05 PST 2013 ?- use_package(clpfd). {Using package /cygdrive/c/Program Files (x86)/CiaoDE/ciao/contrib/__clpfd/clpfd.p l {Including /cygdrive/c/Program Files (x86)/CiaoDE/ciao/contrib/__clpfd/clpfd_ops.p l } WARNING: cannot create /cygdrive/c/Program Files (x86)/CiaoDE/ciao/contrib/__clpfd /clpfd_tr.itf WARNING: cannot create /cygdrive/c/Program Files (x86)/CiaoDE/ciao/contrib/__clpfd /clpfd_tr.itf WARNING: cannot create /cygdrive/c/Program Files (x86)/CiaoDE/ciao/contrib/__debug pred/debugpred_tr.itf WARNING: cannot create /cygdrive/c/Program Files (x86)/CiaoDE/ciao/lib/attr/__attr _tr.itf _________________________________________________ Ciao-users mailing list Ciao-users(a)clip.dia.fi.upm.es <mailto:Ciao-users(a)clip.dia.fi.upm.es> http://clip.dia.fi.upm.es/cgi-__bin/mailman/listinfo/ciao-__users -- Jose <http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users>
Ciao-users mailing list Ciao-users(a)clip.dia.fi.upm.es http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users