How to generate libcudd.so and libsylvan.so? 

The corresponding shared object cannot be generated according to the command line，like libcudd.so and libsylvan.so.
For example. /configure --enable-shared --enable-obj  or cmake? What is the specific command line？Thanks！