Hi,
I 'm looking forward to using Ciao, but it seems to me that
there are some installation issues on Windows 7 - 64 bits. The
install.bat was not working due a path problem with key registration.
In install.bat, instead of
regedit ciao.reg
write
regedit "c:\Program Files (x86)\ciao-1.8p2Win32\ciao.reg"
On this basis, the registry is updated (I had a look to it) but
I guess it is not properly updated, because when I try ciaosh.cpx, I
have a message:
"Registry key not found. Please remember to install Ciao
prologor to set the CIAO LIB environment variable!"
Is there anyone who installed Ciao in Windows 7 - 64 bits ?
Best regards,
Regis
_______________________________________________
Ciao-users mailing list
Ciao-users@clip.dia.fi.upm.es
http://clip.dia.fi.upm.es/mailman/listinfo/ciao-users