Hi, I still got the same errors as before:
bash-2.05# make install cat: cannot open /space/ciao-1.8p2/version/GlobalVersion cat: cannot open /space/ciao-1.8p2/version/GlobalPatch SHARED:38: /space/ciao-1.8p2/makefile-sysindep: No such file or directory Makefile:33: /mkf-: No such file or directory make: *** No rule to make target `/mkf-'. Stop.
Hi. We really recommend you to use the 1.9 version, instead of the 1.8. The latter is quite old now, and many bugs have been corrected in the meantime.
Going back to your previous mail,
bash-2.05# make install cat: cannot open /space/ciao-1.9p351/version/GlobalVersion cat: cannot open /space/ciao-1.9p351/version/GlobalPatch SHARED:38: /space/ciao-1.9p351/makefile-sysindep: No such file or directory Makefile:48: /mkf-: No such file or directory make: *** No rule to make target `/mkf-'. Stop.
Does the file
/space/ciao-1.9p351/version/GlobalVersion
exist? If so, does
cat /space/ciao-1.9p351/version/GlobalVersion
work?
Cheers,
The Ciao Team
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------