[MacPorts] #16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams
#16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams ---------------------------+------------------------------------------------ Reporter: mij@bitchx.it | Owner: macports-tickets@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
#16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams ----------------------------+----------------------------------------------- Reporter: mij@bitchx.it | Owner: macports-tickets@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@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
#16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams ----------------------------+----------------------------------------------- Reporter: mij@bitchx.it | Owner: macports-tickets@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@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
#16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams ----------------------------+----------------------------------------------- Reporter: mij@bitchx.it | Owner: macsforever2000@macports.org Type: enhancement | Status: assigned Priority: Normal | Milestone: Port Submissions Component: ports | Version: 1.6.0 Resolution: | Keywords: port cudd ----------------------------+----------------------------------------------- Changes (by macsforever2000@macports.org): * owner: macports-tickets@lists.macosforge.org => macsforever2000@macports.org * status: new => assigned -- Ticket URL: <http://trac.macports.org/ticket/16210#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
#16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams ----------------------------+----------------------------------------------- Reporter: mij@bitchx.it | Owner: macsforever2000@macports.org Type: enhancement | Status: assigned Priority: Normal | Milestone: Port Submissions Component: ports | Version: 1.6.0 Resolution: | Keywords: port cudd ----------------------------+----------------------------------------------- Changes (by macsforever2000@macports.org): * cc: mij@bitchx.it (removed) -- Ticket URL: <http://trac.macports.org/ticket/16210#comment:4> MacPorts <http://www.macports.org/> Ports system for Mac OS
#16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams ----------------------------+----------------------------------------------- Reporter: mij@bitchx.it | Owner: macsforever2000@macports.org Type: enhancement | Status: closed Priority: Normal | Milestone: Port Submissions Component: ports | Version: 1.6.0 Resolution: fixed | Keywords: port cudd ----------------------------+----------------------------------------------- Changes (by macsforever2000@macports.org): * status: assigned => closed * resolution: => fixed Comment: Committed revision r39298. Thanks for the contribution! -- Ticket URL: <http://trac.macports.org/ticket/16210#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts