Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 327425 - sci-mathematics/nusmv-2.5.0 fails to compile
Summary: sci-mathematics/nusmv-2.5.0 fails to compile
Status: VERIFIED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: AMD64 Linux
: High normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-07-08 03:43 UTC by Christopher Head
Modified: 2010-09-02 07:29 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Christopher Head 2010-07-08 03:43:51 UTC
When emerging nusmv-2.5.0, for some reason the package overrides CFLAGS to force "-mcpu=pentium4" despite any attempts to set otherwise from outside; this of course promptly blows up with the message "error: CPU you selected does not support x86-64 instruction set". This happens whether my global CFLAGS contain only -march=core2, or whether I also add -mcpu=core2 as well.

Reproducible: Always

Steps to Reproduce:
Comment 1 Paweł Hajdan, Jr. (RETIRED) gentoo-dev 2010-07-13 02:22:56 UTC
Fixed in CVS. Please re-open if there are still problems. Thanks for reporting!