Cudd installed via home-brew clash

[sjunges]

If i try to make storm, i run into the following issue.

[ 39%] Building CXX object src/storm/CMakeFiles/storm.dir/abstraction/AbstractionInformation.cpp.o
...
/Users/junges/storm/src/storm/storage/dd/cudd/InternalCuddBdd.h:46:67: error: use of undeclared identifier 'cudd'; did you mean 'Cudd'?
    InternalBdd(InternalDdManager<DdType::CUDD> const* ddManager, cudd::BDD cuddBdd);
                                                                  ^~~~
                                                                  Cudd
/opt/homebrew/include/cuddObj.hh:448:7: note: 'Cudd' declared here
class Cudd {

The only way i managed to work around it so far is by uninstalling yices2 from brew as this uninstalled cudd3 from brew....

[tquatmann]

Would it be an option to rename resources/3rdparty/cudd-3.0.0/cplusplus/cuddObj.hh to something like resources/3rdparty/cudd-3.0.0/cplusplus/storm_cuddObj.hh ?

[sjunges]

Indeed, that could be one option. Another option could be to change the include dir and make sure that we have to include <storm-cudd/cplusplus/cuddObj.h>? I dont know what is better.

[tquatmann]

Yes, that sounds reasonable, too. I also don't know what is better 😄

[sjunges]

Dagstuhl agrees: storm-cudd/cplusplus/cuddObj.h is better.