When I run cmake in Fedora 23, I get the attached cudd_config.h, which causes the make process to fail because it can't locate a bunch of the CUDD files. I discovered that I can get the make process to work by manually editing the config file to provide the attached mycudd_config.h. So apparently cmake is not set up quite correctly, depending on the CUDD install.
When I run cmake in Fedora 23, I get the attached cudd_config.h, which causes the make process to fail because it can't locate a bunch of the CUDD files. I discovered that I can get the make process to work by manually editing the config file to provide the attached mycudd_config.h. So apparently cmake is not set up quite correctly, depending on the CUDD install.
cudd_config.zip