Re: [DotGNU]pnetlib and the VRS, SEE and other server concepts

[Rhys Weatherley]

Barry Fitzgerald wrote:

> On the other hand, $prefix could be undefined, in which case the target
> would be /lib

The $prefix Paolo is referring to here is the one selected
by "configure" and used to install everything in.  Normally
it is "/usr/local", but the programmer can override this at
configure time.

It will never be undefined at runtime.  It's just easier to
say "$prefix/something" than "/usr/local/something, where
/usr/local may be different".

Cheers,

Rhys.