[gtkada] DESTDIR blocked, patch provided

[John Marino]

On 7/1/2013 14:15, John Marino wrote:
> On 7/1/2013 14:12, Emmanuel Briot wrote:
>>> DESTDIR has been hardcoded to an empty string, so any definition in
>>> the environment is blocked.  The only place it currently works is
>>> with the user guide documentation.
>>
>> It is not hard-coded to an empty string, because GNU make will leave
>> the value when it
>> comes from the environment. So
>>
>>      make DESTDIR=… install
>>
>
> Well, it's not working for me like that.  I'm doing exactly that.
> It's defining it as blank.
>
> Why define it at all?   What use does it serve?

By the way, the proper way would be
DESTDIR?=

not

DESTDIR=

right?