[gtkada] DESTDIR blocked, patch provided

[John Marino]

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?

John