Thomas De Contes writes:
Le mardi 28 mai 2002, à 08:34 , Thomas De Contes a écrit :
why "`Mac OS X' users should add (or modify) the `path' file in the directory `~/Library/init/tcsh'" since it doesn't exist ? (~/Library/init/ doesn't exist. should i create ~/Library/init/tcsh/path ?) i have ".tcshrc" doesn't it work if i add the lines into it ?
~/Library/init/tcsh/path was chosen because it is apparently consulted by the system scripts (the profile ones which appear under /etc/...). If the shell application consults .tcshrc, then it should work putting there the initialization code. Thanks for pointing it out.
The intention was that some Ciao-repated environment variables (not essential for Ciao Prolog, but very useful for the Emacs-based development environment and for other tools) where available to any program (e.g., the native Aqua Emacs) after a user logs in. Unfortunately, it turned out not to be the case...
If anyone with better Mac OS X knowlege than us can throw in a suggestion on how to do that, it will be very welcome by us an by many other people.
.tcshrc modified : ciao is visible, but there is an error msg : "ERROR: library library(lists) not found, exiting..." do you think create ~/Library/init/tcsh/path will resolve the pb ? i doubt, since . tcshrc is runned at each launch of tcsh what's missing ?
No, I do not think so; the compiler and toplevel should work without the environment variables in .tcshr (do they?). A possibility is that the .tcshrc file has the _wrong_ values for the variables. What does
env | grep CIAOLIB
return? If it returns anything, does it correspond to the path where the libraries are installed?
MCL
____________________________________________________________ Don't create a problem for which you do not have the answer. ============================================================================== 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/ -----------------------------------------------------------------------------