On Thursday, March 27, 2014 9:30:29 AM UTC-4, kcrisman wrote: > > > > On Thursday, March 27, 2014 1:56:21 AM UTC-4, Ivan Andrus wrote: >> >> I haven’t really followed the discussion, but if the problem is because >> of lines in the Makefile like >> >> -include >> >> then you should be able to just add a dummy file on that line so that >> it’s >> >> -include dummy.mk … >> >> where the … is of course the expression that will sometimes be empty. >> But it’s also not hard to check for the existence of a directory. >> >> -Ivan >> >> > I think the problem is that we don't even know that this *is* the problem > (see Leif's reply in the other thread on beta4). Is there any way to > easily check the differences between make 3.80 and 3.81 on this issue? I > assume that people building with 3.81 don't see these warning messages. > > I think *if* this is the problem, then Ivan's solution of having this > include line only added if there is a profile/ directory makes sense, as > the syntax probably is fairly standard. >
Neither of http://www.cmcrossroads.com/article/whats-new-gnu-make-381 and https://notendur.hi.is/jonasson/software/make-book/make-news.pdf seem to have something that immediately shows this problem, though. The full list of bugs does have the thing where -include with an empty or false list continues (http://savannah.gnu.org/bugs/index.php?13216) is fixed in 3.81, would this be enough to cause the problems in question? Unfortunately I don't see a link to the actual diff. http://savannah.gnu.org/bugs/?29074 and http://savannah.gnu.org/bugs/?27396 seem relevant but were never actually dealt with, and http://savannah.gnu.org/bugs/?102 is a really old version of something related... -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
