Akim Demaille writes:
> Couldn't find it either, but it's somewhere in there. Not directly,
> but via the statement that
>
> ./configure
> make prefix=foo all
>
> is the same as
>
> ./configure --prefix=foo
> make all
There is no such statement. The only thing that refers to prefix is
`prefix'
A prefix used in constructing the default values of the variables
listed below. The default value of `prefix' should be
`/usr/local'. When building the complete GNU system, the prefix
will be empty and `/usr' will be a symbolic link to `/'. (If you
are using Autoconf, write it as `@prefix@'.)
Running `make install' with a different value of `prefix' from the
one used to build the program should NOT recompile the program.
I would humbly suggest that if it cannot be proved that 'make all
prefix=/else/where' is mandated by the GCS, that it be phased out because
it is highly annoying.
--
Peter Eisentraut [EMAIL PROTECTED] http://funkturm.homeip.net/~peter
