This project seems to be the most maintained mirror of CUDD with CMake there is, which is why I'm trying to use it. As I'm trying to get this library to run, I have been struggling for a long time trying to get merely get merely the include <cudd.h> command to work. I'm still not there yet.

The README.md file merely says one should see be able to decipher how to use this by reading the CMakeLists.txt file. I'm sorry, but I'm seemingly too stupid to do so. I would expect I would have to add the subdirectory in my root CMakeLists.txt as follows

add_subdirectory (external/cudd cudd)

and then in my `src/CMakeLists.txt_ link it up as follows

add_executable(target target.cpp)
target_link_libraries(target cudd)

But, then I get the following error

/mnt/e/Git/obdd-benchmark/external/cudd/util/util.h:67:10: fatal error: config.h: No such file or directory
 #include "config.h"
          ^~~~~~~~~~

Are there any examples from which one can decipher how to correctly set up CMake?

This project seems to be the most maintained mirror of CUDD with CMake there is, which is why I'm trying to use it. As I'm trying to get this library to run, I have been struggling for a long time trying to get merely get the include <cudd.h> command to work. I'm still not there yet.

One problem seems to be that configure, config.guess, config.sub all are not encoded for unix? To get them to run, I first had to open all of these files in Emacs and change their encoding by set-buffer-file-coding-system to unix.

They should already have been encoded as such.