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

File manjaro-no-ninja-4.3.4.txt, 1.7 KB (added by Lukáš Zaoral, 5 years ago)

Line
1	Scanning 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
5	In file included from /home/lukas/divine/divine-4.3.4/divine/dbg/node.cpp:25:
6	In file included from /home/lukas/divine/divine-4.3.4/divine/smt/extract.hpp:22:
7	In file included from /home/lukas/divine/divine-4.3.4/divine/smt/builder.hpp:24:
8	In file included from /home/lukas/divine/divine-4.3.4/divine/smt/builder-stp.hpp:24:
9	In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/STPManager/STPManager.h:28:
10	In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/AST/ASTBVConst.h:28:
11	In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/AST/ASTInternal.h:27:
12	In file included from /home/lukas/divine/divine-4.3.4/stp/include/stp/AST/ASTNode.h:27:
13	In 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	^~~~~~~~~~~~~~~~~~~
17	1 error generated.
18	make[6]: *** [divine/CMakeFiles/divine-dbg.dir/build.make:89: divine/CMakeFiles/divine-dbg.dir/dbg/node.cpp.o] Error 1
19	make[5]: *** [CMakeFiles/Makefile2:34362: divine/CMakeFiles/divine-dbg.dir/all] Error 2
20	make[4]: *** [CMakeFiles/Makefile2:35498: tools/CMakeFiles/divine.dir/rule] Error 2
21	make[3]: *** [Makefile:11535: divine] Error 2
22	make[2]: *** [Makefile:99: build] Error 2
23	make[1]: *** [Makefile:116: release-divine] Error 2
24	make: *** [Makefile:72: release] Error 2
25
26