[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           
----------------------------------------+-----------------------------------
Changes (by macsforever2000@…):

  * priority:  High => Normal
  * keywords:  nusmv =>
  * owner:  macports-tickets@… => mww@…


Old description:

> 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.

New description:

 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#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS