#16210 closed submission (fixed)
[new port] devel/libcudd -- An efficient library for manipulating decision diagrams
| Reported by: | mij@… | Owned by: | mf2k (Frank Schima) |
|---|---|---|---|
| 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 (12)
Change History (19)
Changed 16 years ago by mij@…
| Attachment: | patch-Makefile added |
|---|
comment:1 Changed 16 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.
Changed 16 years ago by mij@…
| Attachment: | patch-cudd-Makefile.diff added |
|---|
Changed 16 years ago by mij@…
| Attachment: | patch-dddmp-Makefile.diff added |
|---|
Changed 16 years ago by mij@…
| Attachment: | patch-epd-Makefile.diff added |
|---|
Changed 16 years ago by mij@…
| Attachment: | patch-Makefile.diff added |
|---|
Changed 16 years ago by mij@…
| Attachment: | patch-obj-cuddObj.cc.diff added |
|---|
Changed 16 years ago by mij@…
| Attachment: | patch-obj-cuddObj.hh.diff added |
|---|
Changed 16 years ago by mij@…
| Attachment: | patch-obj-Makefile.diff added |
|---|
Changed 16 years ago by mij@…
| Attachment: | patch-st-Makefile.diff added |
|---|
Changed 16 years ago by mij@…
| Attachment: | patch-util-Makefile.diff added |
|---|
Changed 16 years ago by mij@…
| Attachment: | patch-mtr-Makefile.diff added |
|---|
comment:2 Changed 16 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 16 years ago by mf2k (Frank Schima)
| Owner: | changed from macports-tickets@… to macsforever2000@… |
|---|---|
| Status: | new → assigned |
comment:4 Changed 16 years ago by mf2k (Frank Schima)
| Cc: | mij@… removed |
|---|
comment:5 Changed 16 years ago by mf2k (Frank Schima)
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Committed revision r39298. Thanks for the contribution!
comment:6 Changed 16 years ago by jmroot (Joshua Root)
| Type: | enhancement → submission |
|---|
comment:7 Changed 16 years ago by (none)
| Milestone: | Port Submissions |
|---|
Milestone Port Submissions deleted
patch for libcudd's Makefile