Summary: | sci-mathematics/coq does not respect CFLAGS | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Agostino Sarubbo <ago> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED OBSOLETE | ||
Severity: | normal | ||
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 59506 | ||
Attachments: | build.log.bz2 |
Description
Agostino Sarubbo
2020-05-26 20:59:04 UTC
Created attachment 641960 [details]
build.log.bz2
build log and emerge --info
|