Re: Allow configure variables to be set from environment

[Ingo Schwarze <schwarze@usta.de>]

Hi Thomas,

Thomas Klausner wrote on Sat, Jan 17, 2015 at 12:32:04AM +0100:
> On Fri, Jan 16, 2015 at 10:58:40PM +0100, Alexis wrote:

>> If there is another way to achieve this please let me know.

> Just set them on the 'make' command line, i.e.
> make BINDIR=${BINDIR} PREFIX=${PREFIX} ...

That is fragile at best.  With respect to *DIR, that might work
for now, because ./configure doesn't use the *DIR variables for
anything but to write them into Makefile.local.  But that is an
accident, in principle, ./configure might use them for something
else, too, so putting them into ./configure.local is certainly
more robust.

With respect to PREFIX, your advice doesn't even work.
Try

  make -n PREFIX=FOO install

and it says

  install -m 0555 mandoc demandoc /usr/local/bin

Oops.

That's because the main Makefile does not use PREFIX.
It relies on ./configure to assemble *DIR from PREFIX.

Yours,
  Ingo
--
 To unsubscribe send an email to tech+unsubscribe@mdocml.bsd.lv