Re: Why does ./configure not set prefix and exec_prefix?

[Akim Demaille]

>>>>> "Thomas" == Thomas E Dickey <[EMAIL PROTECTED]> writes:

>> ./configure prefix=toto
>> 
>> make prefix=/usr/local
>> 
>> This sucks too :( IMHO, it should not be possible, and maybe it is
>> now obsoleted by DESTDIR?

Thomas> those are two entirely different sets of variables

Yep, my question is ``was the requirements over being able to specify
prefix etc. at make time a first weak attempt to achieve a goal which
is now properly solved with DESTDIR''.

IOW, what's the point of being able to change prefix at make time?
Why not just at configure?