On Sep 5, 2000, Richard Stallman <[EMAIL PROTECTED]> wrote:
> My proposal is that if you do just `make install' then the default for
> prefix and sysconfdir (and maybe some other variables) should be the
> same as now. But `make install standard_system=yes' would use
> different system-specific defaults for prefix and sysconfdir (and
> maybe some other variables).
In this case, this is totally out of the scope of autoconf, since
autoconf doesn't deal with Makefiles. Besides, since some `make's
fail to propagate command-line settings down to sub-makes, this would
be unlikely to work on most systems that don't use GNU make by
default. Maybe we don't care.
Anyway, making this option an install-time option is probably not a
good idea. Many programs will want to know, at compile-time, where
the configuration files are going to be installed. If they just take
sysconfdir from build time, they'd look for them in /usr/etc, instead
of /etc, where they were installed.
So my feeling is that this should be a configure-time option, and this
is precisely what we already have with config.site.
--
Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist *Please* write to mailing lists, not to me
