gprolog-1.4.5-destdir.patchDescription: Text Data
|
| From: | Keri Harris |
| Subject: | Makefile rules not considering DESTDIR |
| Date: | Sun, 22 Jul 2018 13:36:24 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 |
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
gprolog-1.4.5-destdir.patch
Description: Text Data
| [Prev in Thread] | Current Thread | [Next in Thread] |