CUDD 2.4.1

CUDD provides functions to manipulate Binary Decision Diagrams (BDDs) and related data structures.

Compiling and Linking Notes

Contrary to the CUDD documentation, compiling with CUDD as built with this RPM spec script involves putting the following into your code:

  #include <cudd/cudd.h>
      

The “cudd/” prefix was necessary to avoid name clashes with existing packages. Furthermore, this RPM builds shared libraries, not the static libraries the documentation talks about, and the shared libraries are linked to one another as needed. Therefore, linking becomes as simple as adding -lcudd to the link command.

Note also that, due to a name clash, the library originally named util is now named cuddutil; i.e., use -lcuddutil on your link line (although you should never have to, due to the way the shared libraries are linked).

SRPMS

cudd-2.4.1-6.src.rpm

Patch Descriptions

cudd-2.4.1-sharedlib.patch

Build shared libraries, not static libraries.

cudd-2.4.1-strcat.patch

Remove an explicit declaration of strcat, since the GCC definition causes it to be expanded inline, resulting in a big mess the compiler cannot understand.

cudd-2.4.1-signedness.patch

Fix up some mixed signed/unsigned operations.

cudd-2.4.1-retval.patch

Don't ignore the return values of some critical library functions.

cudd-2.4.1-init.patch

Fix a bunch of warnings about uninitialized variables.

cudd-2.4.1-make.patch

Fix parallel makes.

cudd-22.4.1-64bit.patch

Fix builds on 64-bit platforms

Back to the RPMS