Ticket #75: manjaro-no-ninja-4.3.4.txt

File manjaro-no-ninja-4.3.4.txt, 1.7 KB (added by Lukáš Zaoral, 3 years ago)
Line 
1Scanning dependencies of target divine-dbg
2[  4%] Building CXX object divine/CMakeFiles/divine-dbg.dir/dbg/diff.cpp.o
3[  4%] Building CXX object divine/CMakeFiles/divine-dbg.dir/dbg/info.cpp.o
4[  4%] Building CXX object divine/CMakeFiles/divine-dbg.dir/dbg/node.cpp.o
5In file included from /home/lukas/divine/divine-4.3.4/divine/dbg/node.cpp:25:
6In file included from /home/lukas/divine/divine-4.3.4/divine/smt/extract.hpp:22:
7In file included from /home/lukas/divine/divine-4.3.4/divine/smt/builder.hpp:24:
8In file included from /home/lukas/divine/divine-4.3.4/divine/smt/builder-stp.hpp:24:
9In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/STPManager/STPManager.h:28:
10In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/AST/ASTBVConst.h:28:
11In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/AST/ASTInternal.h:27:
12In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/AST/ASTNode.h:27:
13In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/AST/NodeFactory/HashingNodeFactory.h:28:
14/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
15#include "stp/AST/ASTKind.h"
16         ^~~~~~~~~~~~~~~~~~~
171 error generated.
18make[6]: *** [divine/CMakeFiles/divine-dbg.dir/build.make:89: divine/CMakeFiles/divine-dbg.dir/dbg/node.cpp.o] Error 1
19make[5]: *** [CMakeFiles/Makefile2:34362: divine/CMakeFiles/divine-dbg.dir/all] Error 2
20make[4]: *** [CMakeFiles/Makefile2:35498: tools/CMakeFiles/divine.dir/rule] Error 2
21make[3]: *** [Makefile:11535: divine] Error 2
22make[2]: *** [Makefile:99: build] Error 2
23make[1]: *** [Makefile:116: release-divine] Error 2
24make: *** [Makefile:72: release] Error 2
25
26