Scanning dependencies of target divine-vm
[  3%] Building CXX object divine/CMakeFiles/divine-vm.dir/vm/constants.cpp.o
[  3%] Building CXX object divine/CMakeFiles/divine-vm.dir/vm/eval.cpp.o
In file included from /root/divine-4.3.4/divine/vm/eval.cpp:23:
In file included from /root/divine-4.3.4/divine/vm/t-eval.hpp:22:
In file included from /root/divine-4.3.4/divine/vm/t-program.hpp:23:
In file included from /root/divine-4.3.4/divine/cc/cc1.hpp:21:
In file included from /root/divine-4.3.4/divine/cc/vfs.hpp:21:
In file included from /root/divine-4.3.4/clang/include/clang/Tooling/Tooling.h:37:
In file included from /root/divine-4.3.4/clang/include/clang/Frontend/FrontendAction.h:24:
In file included from /root/divine-4.3.4/clang/include/clang/Frontend/ASTUnit.h:18:
In file included from /root/divine-4.3.4/clang/include/clang/AST/ASTContext.h:18:
In file included from /root/divine-4.3.4/clang/include/clang/AST/ASTTypeTraits.h:19:
/root/divine-4.3.4/clang/include/clang/AST/ASTFwd.h:22:10: fatal error: 'clang/AST/DeclNodes.inc' file
      not found
#include "clang/AST/DeclNodes.inc"
         ^~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
gmake[6]: *** [divine/CMakeFiles/divine-vm.dir/build.make:76: divine/CMakeFiles/divine-vm.dir/vm/eval.cpp.o] Error 1
gmake[5]: *** [CMakeFiles/Makefile2:27992: divine/CMakeFiles/divine-vm.dir/all] Error 2
gmake[4]: *** [CMakeFiles/Makefile2:28512: tools/CMakeFiles/divine.dir/rule] Error 2
gmake[3]: *** [Makefile:8428: divine] Error 2
make[2]: *** [Makefile:102: build] Error 2
make[1]: *** [Makefile:119: release-divine] Error 2
make: *** [Makefile:75: release] Error 2