Re: Makefile rules not considering DESTDIR

[Daniel Diaz]

Hi Keri,

Thank you for your remarks and associated patches.
I will include them in the main branch.

Daniel

On 07/22/2018 01:36 PM, Keri Harris wrote:

Hi,

There are a number of Makefile rules which test whether the target directory has been set to 'none' by the configure script. If they have been set to 'none' then nothing should be installed. However, these rules do not consider $DESTDIR so it's possible to end up inadvertently installing unwanted files to $DESTDIR/none/.

I've attached a patch for this.


Thanks

Keri

_______________________________________________
Bug-prolog mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/bug-prolog