Summary: | sci-mathematics/coq-8.4_p2 configure failure: "GNU Make >= 3.81 is needed" but I have make-4.0 | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Martin Bays <mbays> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | carlphilippreh, jason.mours, jlec, ml, pchrist, rwgardner, toralf, vikraman |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | x86 | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 487900 | ||
Attachments: |
sci-mathematics:coq-8.4_p2:20131202-153546.log
configure patch, fixes >=3.81 version check |
Description
Martin Bays
2013-12-02 18:05:39 UTC
Created attachment 364460 [details]
sci-mathematics:coq-8.4_p2:20131202-153546.log
Yeah, they hard check this inside configure and the check is wrong. Created attachment 364472 [details, diff]
configure patch, fixes >=3.81 version check
This is easy, just uploading here in case you want to contact upstream. I made this against coq-8.4_p2.ebuild sources. Didn't spend time patching the ebuilds or checking if it affects 8.3.
Btw, out of curiosity I checked their repository and this was fixed in commit df10b95526ccad2e726870d7735ffe9337b6f848 . Maybe I'll apply that, or mine, if nobody from the sci-mathematics team objects.I also asked on irc if there will be a V8.4pl3 that will include this fix. *** Bug 493704 has been marked as a duplicate of this bug. *** *** Bug 498102 has been marked as a duplicate of this bug. *** 8.4_p3 includes the fix, so, bump please. +*coq-8.4_p3 (23 Jan 2014) + + 23 Jan 2014; Justin Lecher <jlec@gentoo.org> coq-8.3_p1.ebuild, + coq-8.4_p1.ebuild, coq-8.4_p2.ebuild, +coq-8.4_p3.ebuild, metadata.xml: + Version Bump, fixes problems with make-4, #493144 + *** Bug 534774 has been marked as a duplicate of this bug. *** This is still an issue as sci-mathematics/coq-8.4_p3 has not been stabilized. |