#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