Ticket #16210 (closed submission: fixed)
[new port] devel/libcudd -- An efficient library for manipulating decision diagrams
| Reported by: | mij@… | Owned by: | macsforever2000@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.6.0 |
| Keywords: | port cudd | Cc: | |
| Port: |
Description
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.
Attachments
Change History
Changed 5 years ago by mij@…
- Attachment patch-Makefile added
comment:1 Changed 5 years ago by mij@…
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.
comment:2 Changed 5 years ago by mij@…
The "patch-Makefile" file attached is a patch belonging to the old port. For the new one, the following files are valid:
- Portfile
- *.diff
comment:3 Changed 5 years ago by macsforever2000@…
- Status changed from new to assigned
- Owner changed from macports-tickets@… to macsforever2000@…
patch for libcudd's Makefile