On Wed, 2002-10-09 at 21:01, William McCallum wrote:
> I have been meaning for a while to formulate a precise version of the
> problem and submit it to this list. Roughly speaking, what one wants is
> that the "prefix" variable remain a variable until the install phase,
> so that when you make install you can set it then. Currently it gets
> hard coded in at the build phase, so that you can't change it when you
> do "make install". This is fine for a manual installation (where the
> prefix is the same in both cases), but causes problem for a package
> manager like fink.
This is a standard problem with a standard solution. I'm glad you asked.
./configure --prefix=/foo # prefix is set to /foo in all sources
make # prefix still /foo
make install prefix=/fake/place # files are installed into /fake/place
By overriding prefix on the make command line, make sees a different
value of prefix than was set by configure. The sources and executables
that were set up at configure time are unaffected. This is exactly the
way the maxima rpm packaging works.
Please ask if you have more questions about this problem.
--Jim