[gtkada] DESTDIR blocked, patch provided

[John Marino]

On 7/1/2013 14:59, Emmanuel Briot wrote:
> But FreeBSD does not use GNU make, I believe… which is likely where the different behavior comes from.
> As a general rule, AdaCore tools are meant to be compiled with GNU make, even if we certainly try to
> accommodate other cases when possible.

There are many programs that require GNU make and will not work with BSD 
make.  In the case of gtkada, GNU make was specified and always has 
been.  So the flavor of "make" can be properly specified per port, and 
several types of make are available on all the BSDs.

Regards,
John