#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2 ----------------------------------------+----------------------------------- Reporter: merteminkalender@… | Owner: mww@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Keywords: | Port: nusmv ----------------------------------------+----------------------------------- Comment(by merteminkalender@…): {{{ sudo port install nusmv configure.compiler=llvm-gcc-4.2 }}} worked for me. Thanks! -- Ticket URL: <https://trac.macports.org/ticket/32600#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS