Summary: | sci-mathematics/coq fails to build with make 3.82 | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Diego Elio Pettenò (RETIRED) <flameeyes> |
Component: | New packages | Assignee: | Gentoo Team for the ML programming language family <ml> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | sci-mathematics |
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | 341279 | ||
Bug Blocks: | 331977 | ||
Attachments: |
Build log
Add GNU Make 3.82 to detection list |
Description
Diego Elio Pettenò (RETIRED)
2010-10-15 22:53:50 UTC
Created attachment 250783 [details]
Build log
Created attachment 250857 [details, diff]
Add GNU Make 3.82 to detection list
This is enough to fix the problem but the whole check seems plain lame. It will be broken with next make version again.
Feel free to fix it "better" with the version bump in 341279, committed the workaround meanwhile: + 18 Oct 2010; Samuli Suominen <ssuominen@gentoo.org> coq-8.2_p2.ebuild, + +files/coq-8.2_p2-make-3.82.patch: + Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò. |