#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