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:
Fixed in CVS. Please re-open if there are still problems. Thanks for reporting!