[MacPorts] #45839: nusmv @2.5.4_0: error: Header file "Solver_C.h" has not been found (was: NuSMV @2.5.4 install error on Mac OS X 10.10)

Sun Nov 9 21:34:50 PST 2014

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

 * cc: jeremy.cade@… (removed)
 * priority:  High => Normal
 * owner:  macports-tickets@… => mww@…


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