[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@…):

 Ok, in reading the various readme files in nusmv, I see that no, we cannot
 use the standalone libcudd port:

 > The CUDD library included in the NuSMV distribution must
 > be used with NuSMV even if another version of the CUDD library is
 > already installed in the system.

 We also cannot use the standalone minisat port:

 > The current version of NuSMV is linked to minisat2-070721. Version
 > minisat-2.2.0 requires features which are being developed in NuSMV,
 > and which are not available in the official versions yet.

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