Scanning dependencies of target divine-dbg
[  4%] Building CXX object divine/CMakeFiles/divine-dbg.dir/dbg/diff.cpp.o
[  4%] Building CXX object divine/CMakeFiles/divine-dbg.dir/dbg/info.cpp.o
[  4%] Building CXX object divine/CMakeFiles/divine-dbg.dir/dbg/node.cpp.o
In file included from /home/lukas/divine/divine-4.3.4/divine/dbg/node.cpp:25:
In file included from /home/lukas/divine/divine-4.3.4/divine/smt/extract.hpp:22:
In file included from /home/lukas/divine/divine-4.3.4/divine/smt/builder.hpp:24:
In file included from /home/lukas/divine/divine-4.3.4/divine/smt/builder-stp.hpp:24:
In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/STPManager/STPManager.h:28:
In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/AST/ASTBVConst.h:28:
In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/AST/ASTInternal.h:27:
In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/AST/ASTNode.h:27:
In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/AST/NodeFactory/HashingNodeFactory.h:28:
/home/lukas/divine/divine-4.3.4/stp/include/stp/AST/NodeFactory/NodeFactory.h:28:10: fatal error: 'stp/AST/ASTKind.h' file not found
#include "stp/AST/ASTKind.h"
         ^~~~~~~~~~~~~~~~~~~
1 error generated.
make[6]: *** [divine/CMakeFiles/divine-dbg.dir/build.make:89: divine/CMakeFiles/divine-dbg.dir/dbg/node.cpp.o] Error 1
make[5]: *** [CMakeFiles/Makefile2:34362: divine/CMakeFiles/divine-dbg.dir/all] Error 2
make[4]: *** [CMakeFiles/Makefile2:35498: tools/CMakeFiles/divine.dir/rule] Error 2
make[3]: *** [Makefile:11535: divine] Error 2
make[2]: *** [Makefile:99: build] Error 2
make[1]: *** [Makefile:116: release-divine] Error 2
make: *** [Makefile:72: release] Error 2


