nusmv @2.5.4_0: error: Header file "Solver_C.h" has not been found

[jeremy.cade@…]

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.

[jeremy.cade@…]

Cc Me!

[mf2k (Frank Schima)]

See #53012.

[ryandesign (Ryan Carsten Schmidt)]

In 0679dd1f34c1c54db4c065ad9ee92e24943044d0/macports-ports (master):

nusmv: Update to 2.6.0

Closes: #45839

Disable universal variant.

See: #32627

Conflicts with libcudd because it installs its own patched version.