On 21 Jul 1998 19:10:32 +0200, you said:
Vin Shelton <acs(a)alumni.princeton.edu> writes:
> verna(a)inf.enst.fr said:
> > By giving it a --site-includes, a --site-libraries, or more
> > generally, a --site-prefixes option, which will take precedence over
> > everything else.
>
> If I could specify --site-XXX=none
I'm not sure what you mean. By default, there's no site-XXX at all.
I think that what Vin wants is a variant of -site-XXX that does subtractive
operations, rather than additive. For instance, to be able to tell configure
to stay *out* of /usr/local (or wherever)
Maybe we need --ignore-libraries, --ignore-includes and so on?
--
Valdis Kletnieks
Computer Systems Senior Engineer
Virginia Tech