[klee-dev] an error occurs when building klee from source against LLVM 3.4

[曾杰]

Hi, Excuse me, i have a question which i cannot solve.I build KLEE using the approach below, 

Build from source against LLVM 3.4: this is the current recommended version.


and i have complete all steps until  i run make command in Klee_build_dir directory,  but the following errors occur. Hope for your help! 





[ 80%] Building CXX object tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o
[ 81%] Linking CXX executable ../../bin/kleaver
CMakeFiles/kleaver.dir/main.cpp.o:(.rodata+0x1238): undefined reference to `typeinfo for llvm::cl::Option'
CMakeFiles/kleaver.dir/main.cpp.o:(.rodata+0x1270): undefined reference to `typeinfo for llvm::cl::generic_parser_base'
CMakeFiles/kleaver.dir/main.cpp.o:(.rodata+0x12d0): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'
CMakeFiles/kleaver.dir/main.cpp.o:(.rodata+0x12f8): undefined reference to `typeinfo for llvm::cl::Option'
CMakeFiles/kleaver.dir/main.cpp.o:(.rodata+0x1330): undefined reference to `typeinfo for llvm::cl::generic_parser_base'
CMakeFiles/kleaver.dir/main.cpp.o:(.rodata+0x1390): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'
CMakeFiles/kleaver.dir/main.cpp.o:(.rodata._ZTIN4llvm2cl15OptionValueCopyISsEE[_ZTIN4llvm2cl15OptionValueCopyISsEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'
CMakeFiles/kleaver.dir/main.cpp.o:(.rodata._ZTIN4llvm2cl15OptionValueCopyIbEE[_ZTIN4llvm2cl15OptionValueCopyIbEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'
../../lib/libkleeBasic.a(CmdLineOptions.cpp.o):(.rodata._ZTIN4llvm2cl15OptionValueCopyIiEE[_ZTIN4llvm2cl15OptionValueCopyIiEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'
../../lib/libkleeBasic.a(CmdLineOptions.cpp.o):(.rodata._ZTIN4llvm2cl15OptionValueCopyIdEE[_ZTIN4llvm2cl15OptionValueCopyIdEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'
../../lib/libkleeBasic.a(CmdLineOptions.cpp.o):(.rodata._ZTIN4llvm2cl3optIdLb0ENS0_6parserIdEEEE[_ZTIN4llvm2cl3optIdLb0ENS0_6parserIdEEEE]+0x18): undefined reference to `typeinfo for llvm::cl::Option'
../../lib/libkleeBasic.a(CmdLineOptions.cpp.o):(.rodata._ZTIN4llvm2cl15OptionValueCopyIN4klee22QueryLoggingSolverTypeEEE[_ZTIN4llvm2cl15OptionValueCopyIN4klee22QueryLoggingSolverTypeEEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'
../../lib/libkleeBasic.a(CmdLineOptions.cpp.o):(.rodata._ZTIN4llvm2cl6parserIN4klee22QueryLoggingSolverTypeEEE[_ZTIN4llvm2cl6parserIN4klee22QueryLoggingSolverTypeEEE]+0x10): undefined reference to `typeinfo for llvm::cl::generic_parser_base'
../../lib/libkleeBasic.a(CmdLineOptions.cpp.o):(.rodata._ZTIN4llvm2cl4listIN4klee22QueryLoggingSolverTypeEbNS0_6parserIS3_EEEE[_ZTIN4llvm2cl4listIN4klee22QueryLoggingSolverTypeEbNS0_6parserIS3_EEEE]+0x18): undefined reference to `typeinfo for llvm::cl::Option'
../../lib/libkleeBasic.a(CmdLineOptions.cpp.o):(.rodata._ZTIN4llvm2cl15OptionValueCopyIN4klee14CoreSolverTypeEEE[_ZTIN4llvm2cl15OptionValueCopyIN4klee14CoreSolverTypeEEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'
../../lib/libkleeBasic.a(CmdLineOptions.cpp.o):(.rodata._ZTIN4llvm2cl6parserIN4klee14CoreSolverTypeEEE[_ZTIN4llvm2cl6parserIN4klee14CoreSolverTypeEEE]+0x10): undefined reference to `typeinfo for llvm::cl::generic_parser_base'
../../lib/libkleeBasic.a(CmdLineOptions.cpp.o):(.rodata._ZTIN4llvm2cl3optIN4klee14CoreSolverTypeELb0ENS0_6parserIS3_EEEE[_ZTIN4llvm2cl3optIN4klee14CoreSolverTypeELb0ENS0_6parserIS3_EEEE]+0x18): undefined reference to `typeinfo for llvm::cl::Option'
../../lib/libkleaverSolver.a(FastCexSolver.cpp.o): In function `_ZL15propogateValuesRKN4klee5QueryER7CexDatabRb.constprop.176':
/root/workspace/xiaojiedoctorwork/klee/lib/Solver/FastCexSolver.cpp:1012: undefined reference to `llvm::DebugFlag'
/root/workspace/xiaojiedoctorwork/klee/lib/Solver/FastCexSolver.cpp:1012: undefined reference to `llvm::isCurrentDebugType(char const*)'
../../lib/libkleaverSolver.a(FastCexSolver.cpp.o): In function `CexData::propogatePossibleValues(klee::ref<klee::Expr>, ValueRange)':
/root/workspace/xiaojiedoctorwork/klee/lib/Solver/FastCexSolver.cpp:444: undefined reference to `llvm::DebugFlag'
/root/workspace/xiaojiedoctorwork/klee/lib/Solver/FastCexSolver.cpp:444: undefined reference to `llvm::isCurrentDebugType(char const*)'
../../lib/libkleaverSolver.a(IndependentSolver.cpp.o): In function `_ZL25getIndependentConstraintsRKN4klee5QueryERSt6vectorINS_3refINS_4ExprEEESaIS6_EE.constprop.306':
/root/workspace/xiaojiedoctorwork/klee/lib/Solver/IndependentSolver.cpp:353: undefined reference to `llvm::DebugFlag'
/root/workspace/xiaojiedoctorwork/klee/lib/Solver/IndependentSolver.cpp:353: undefined reference to `llvm::isCurrentDebugType(char const*)'
../../lib/libkleaverExpr.a(ExprSMTLIBPrinter.cpp.o):(.rodata._ZTIN4llvm2cl15OptionValueCopyIN4klee17ExprSMTLIBPrinter19ConstantDisplayModeEEE[_ZTIN4llvm2cl15OptionValueCopyIN4klee17ExprSMTLIBPrinter19ConstantDisplayModeEEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'
../../lib/libkleaverExpr.a(ExprSMTLIBPrinter.cpp.o):(.rodata._ZTIN4llvm2cl6parserIN4klee17ExprSMTLIBPrinter19ConstantDisplayModeEEE[_ZTIN4llvm2cl6parserIN4klee17ExprSMTLIBPrinter19ConstantDisplayModeEEE]+0x10): undefined reference to `typeinfo for llvm::cl::generic_parser_base'
../../lib/libkleaverExpr.a(ExprSMTLIBPrinter.cpp.o):(.rodata._ZTIN4llvm2cl3optIN4klee17ExprSMTLIBPrinter19ConstantDisplayModeELb0ENS0_6parserIS4_EEEE[_ZTIN4llvm2cl3optIN4klee17ExprSMTLIBPrinter19ConstantDisplayModeELb0ENS0_6parserIS4_EEEE]+0x18): undefined reference to `typeinfo for llvm::cl::Option'
../../lib/libkleaverExpr.a(ExprSMTLIBPrinter.cpp.o):(.rodata._ZTIN4llvm2cl15OptionValueCopyIN4klee17ExprSMTLIBPrinter16AbbreviationModeEEE[_ZTIN4llvm2cl15OptionValueCopyIN4klee17ExprSMTLIBPrinter16AbbreviationModeEEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'
../../lib/libkleaverExpr.a(ExprSMTLIBPrinter.cpp.o):(.rodata._ZTIN4llvm2cl6parserIN4klee17ExprSMTLIBPrinter16AbbreviationModeEEE[_ZTIN4llvm2cl6parserIN4klee17ExprSMTLIBPrinter16AbbreviationModeEEE]+0x10): undefined reference to `typeinfo for llvm::cl::generic_parser_base'
../../lib/libkleaverExpr.a(ExprSMTLIBPrinter.cpp.o):(.rodata._ZTIN4llvm2cl3optIN4klee17ExprSMTLIBPrinter16AbbreviationModeELb0ENS0_6parserIS4_EEEE[_ZTIN4llvm2cl3optIN4klee17ExprSMTLIBPrinter16AbbreviationModeELb0ENS0_6parserIS4_EEEE]+0x18): undefined reference to `typeinfo for llvm::cl::Option'
../../lib/libkleeSupport.a(CompressionStream.cpp.o):(.rodata._ZTIN4klee21compressed_fd_ostreamE[_ZTIN4klee21compressed_fd_ostreamE]+0x10): undefined reference to `typeinfo for llvm::raw_ostream'
collect2: 错误：ld 返回 1
make[2]: *** [bin/kleaver] 错误 1
make[1]: *** [tools/kleaver/CMakeFiles/kleaver.dir/all] 错误 2
make: *** [all] 错误 2
-------------- next part --------------
HTML attachment scrubbed and removed