LIBROOT was /Users/Shared/ciao/ciao-1.8p1/lib
Is /Users/Shared/ciao/ciao-1.8p1 the directory where the sources are? This will cause troubles: if you do "make install" with such a setup, the libraries will try to copy inside the source tree. I am uncertain about what will happen in that case, but probably nothing reasonable. You should set LIBROOT to some place outside the source tree.
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/ -----------------------------------------------------------------------------