[MacPorts] #45839: nusmv @2.5.4_0: error: Header file "Solver_C.h" has not been found

[MacPorts]

#45839: nusmv @2.5.4_0: error: Header file "Solver_C.h" has not been found
----------------------------+------------------------
  Reporter:  jeremy.cade@…  |      Owner:  ryandesign
      Type:  defect         |     Status:  closed
  Priority:  Normal         |  Milestone:
 Component:  ports          |    Version:  2.3.2
Resolution:  fixed          |   Keywords:
      Port:  nusmv          |
----------------------------+------------------------
Changes (by ryandesign):

 * owner:  (none) => ryandesign
 * status:  assigned => closed
 * resolution:   => fixed


Comment:

 In [changeset:"0679dd1f34c1c54db4c065ad9ee92e24943044d0/macports-ports"
 0679dd1f34c1c54db4c065ad9ee92e24943044d0/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="0679dd1f34c1c54db4c065ad9ee92e24943044d0"
 nusmv: Update to 2.6.0

 Closes: https://trac.macports.org/ticket/45839

 Disable universal variant.

 See: https://trac.macports.org/ticket/32627

 Conflicts with libcudd because it installs its own patched version.
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/45839#comment:4>
MacPorts <https://www.macports.org/>
Ports system for macOS