[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:
      Type:  defect         |     Status:  assigned
  Priority:  Normal         |  Milestone:
 Component:  ports          |    Version:  2.3.2
Resolution:                 |   Keywords:
      Port:  nusmv          |
----------------------------+----------------------
Changes (by mf2k):

 * owner:  mww@… =>
 * status:  new => assigned


Comment:

 See #53012.

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