[MacPorts] #16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams

[MacPorts]

#16210: [new port] devel/libcudd -- An efficient library for manipulating decision
diagrams
---------------------------+------------------------------------------------
 Reporter:  mij at bitchx.it  |       Owner:  macports-tickets at lists.macosforge.org
     Type:  enhancement    |      Status:  new                                  
 Priority:  Normal         |   Milestone:  Port Submissions                     
Component:  ports          |     Version:  1.6.0                                
 Keywords:  port cudd      |  
---------------------------+------------------------------------------------
 This is the port for the CUDD library
 (http://vlsi.colorado.edu/~fabio/CUDD/), widely used in the model checking
 field.

 One patch is included for setting correct system-specific flags for
 darwin.

 One ui_msg is displayed after compiling to warn the user how to use the
 library in order to avoid
 aliasing with dynamic libraries present in the system.

-- 
Ticket URL: <http://trac.macports.org/ticket/16210>
MacPorts <http://www.macports.org/>
Ports system for Mac OS