next up previous index
Next: Basic Data Structures Up: User's Manual Previous: User's Manual

Compiling and Linking

  

To build an application that uses the CUDD package, you should add

#include "cudd.h"
  to your source files, and should link libcudd.a , libmtr.a , libst.a , and libutil.a  to your executable. (All these libraries are part of the distribution.) Some platforms require specific compiler and linker flags. Refer to the Makefile  in the top level directory of the distribution.



Fabio Somenzi
Tue May 12 18:47:58 MDT 1998