[MacPorts] #45839: NuSMV @2.5.4 install error on Mac OS X 10.10

[MacPorts]

#45839: NuSMV @2.5.4 install error on Mac OS X 10.10
---------------------------+--------------------------------
 Reporter:  jeremy.cade@…  |      Owner:  macports-tickets@…
     Type:  defect         |     Status:  new
 Priority:  High           |  Milestone:
Component:  ports          |    Version:  2.3.2
 Keywords:                 |       Port:  nusmv
---------------------------+--------------------------------
 Clean install of NuSMV @2.5.4 on Yosemite 10.10 results in the following
 message.

 {{{
 $ sudo port install nusmv
 --->  Computing dependencies for nusmv
 --->  Fetching archive for nusmv
 --->  Attempting to fetch nusmv-2.5.4_0.darwin_14.x86_64.tbz2 from
 http://packages.macports.org/nusmv
 --->  Attempting to fetch nusmv-2.5.4_0.darwin_14.x86_64.tbz2 from
 http://jog.id.packages.macports.org/macports/packages/nusmv
 --->  Attempting to fetch nusmv-2.5.4_0.darwin_14.x86_64.tbz2 from
 http://lil.fr.packages.macports.org/nusmv
 --->  Fetching distfiles for nusmv
 --->  Verifying checksums for nusmv
 --->  Extracting nusmv
 --->  Applying patches to nusmv
 --->  Configuring nusmv
 Error: Failed to configure nusmv, consult
 /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv/config.log
 Error: org.macports.configure for port nusmv returned: configure failure:
 command execution failed
 Please see the log file for port nusmv for details:
 /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/main.log
 To report a bug, follow the instructions in the guide:
     http://guide.macports.org/#project.tickets
 Error: Processing of port nusmv failed
 }}}

 Please see attached '''config.log''' and '''main.log''' for further
 details.

-- 
Ticket URL: <https://trac.macports.org/ticket/45839>
MacPorts <https://www.macports.org/>
Ports system for OS X