[MacPorts] #32600: nusmv @2.5.4 install error on Mac OS X 10.7.2

[MacPorts]

#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