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

MacPorts noreply at macports.org
Mon Dec 19 15:13:49 PST 2011


#32600: nusmv @2.5.4 install error on Mac OS X 10.7.2
----------------------------------------+-----------------------------------
 Reporter:  merteminkalender@…          |       Owner:  macports-tickets@…                   
     Type:  defect                      |      Status:  new                                  
 Priority:  High                        |   Milestone:                                       
Component:  ports                       |     Version:  2.0.3                                
 Keywords:  nusmv                       |        Port:  nusmv                                
----------------------------------------+-----------------------------------
 I couldn't get nusmv installed on my mac. Following result is printed on
 Terminal:

 --->  Computing dependencies for nusmv
 --->  Configuring nusmv
 Error: Target org.macports.configure returned: shell command failed (see
 log for details)
 Log for nusmv is at:
 /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/main.log
 Error: Status 1 encountered during processing.

-- 
Ticket URL: <https://trac.macports.org/ticket/32600>
MacPorts <http://www.macports.org/>
Ports system for Mac OS


More information about the macports-tickets mailing list