[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                                
Resolution:                 |    Keywords:  port cudd                            
----------------------------+-----------------------------------------------
Comment (by mij at bitchx.it):

 Apple strongly recommends using dynamic libraries. This revision of the
 port produces dynamic libraries. Header files for the CUDD library are
 installed as usual. Libraries are installed as follows: a first file
 "libcudd.dylib" embeds all the services provided by the C interface of
 CUDD; a second file "libcuddobj.dylib" embeds all the services provided by
 the C++ interface of CUDD.

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