Bug List: (This bug is not in your last search results)   Show last search results      Search page      Enter new bug
Bug#: 195483
Alias:
Product:
Component:
Status: RESOLVED
Resolution: FIXED
Assigned To: Gentoo Team for the ML programming language family <ml@gentoo.org>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: Robin Green <greenrd@greenrd.org>
Add CC:
CC:
Remove selected CCs
URL:
Summary:
Status Whiteboard:
Keywords:

Filename Description Type Creator Created Size Actions
build.log build log text/plain Robin Green 2007-10-11 09:49 0000 2.04 KB Details
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 195483 depends on: Show dependency tree
Bug 195483 blocks:
Votes: 0    Show votes for this bug    Vote for this bug

Additional Comments: (this is where you put emerge --info)


Not eligible to see or edit group visibility for this bug.






View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug

Description:   Opened: 2007-10-11 09:47 0000 
sci-mathematics/coq-8.1_p1 fails to emerge at the configure stage. See attached
build log.

------- Comment #1 From Robin Green 2007-10-11 09:49:51 0000 ------- 
Created an attachment (id=133127) [details]
build log

------- Comment #2 From Alexis Ballier 2007-10-11 10:04:58 0000 ------- 
fixed thanks, configure was eating the --coqide option when norealanalysis
useflag was set, what cause him to see 'opt' option and fail
Bug List: (This bug is not in your last search results)   Show last search results      Search page      Enter new bug