请大家帮帮忙 ，弄了好几天了 网上也查不到
1.Edit the file "config" to specify your compiler and install options.
2.Type make to make the binary.
3.Type make install to copy the BDD files to their appropriate directories
4.Type make examples to make the examples
This is rather simple.Just inform the compiler of where the binaries and
include files are installed. With Gnu C this is done with the -I and -L
options. Assuming that the binary library libbdd.a is installed in
usr\local\lib and the include file bdd.h is installed in /usr/local/include,
then the compile command should be
cc -I/usr/local/include myfile.c -o myfile -L/usr/include/lib -lbdd
If the above directories are included in your search path already,then you might be able to reduce the command to
cc myfile.c -o myfile -lbdd