[MacPorts] #32627: nusmv: universal variant fails

[MacPorts]

#32627: nusmv: universal variant fails
-------------------------------------+--------------------------------------
 Reporter:  ryandesign@…             |       Owner:  mww@…           
     Type:  defect                   |      Status:  new             
 Priority:  Normal                   |   Milestone:                  
Component:  ports                    |     Version:  2.0.3           
 Keywords:  universal                |        Port:  nusmv           
-------------------------------------+--------------------------------------

Comment(by ryandesign@…):

 I see that we have a libcudd port. Could we use that instead of using the
 version included with nusmv? That might simplify things.

-- 
Ticket URL: <https://trac.macports.org/ticket/32627#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS