Bug 195483 - sci-mathematics/coq-8.1_p1 fails to configure - Unknown option "opt"
Bug#: 195483 Product:  Gentoo Linux Version: 2007.0 Platform: AMD64
OS/Version: Linux Status: RESOLVED Severity: normal Priority: P2
Resolution: FIXED Assigned To: ml@gentoo.org Reported By: greenrd@greenrd.org
Component: Applications
URL: 
Summary: sci-mathematics/coq-8.1_p1 fails to configure - Unknown option "opt"
Keywords:  
Status Whiteboard: 
Opened: 2007-10-11 09:47 0000
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