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

MacPorts noreply at macports.org
Sat Aug 16 12:17:52 PDT 2008


#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):

 The "patch-Makefile" file attached is a patch belonging to the old port.
 For the new one, the following files are valid:
 - Portfile
 - *.diff

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


More information about the macports-tickets mailing list