davidtr1037
make error
I have encountered the following error during the installation process and how can I fix it?
sunghyun@ubuntu:~/chopper/klee_build$ make
[ 9%] Built target kleeAnalysis
[ 21%] Built target kleaverExpr
[ 29%] Built target kleeSupport
[ 48%] Built target kleaverSolver
[ 52%] Built target kleeBasic
[ 72%] Built target kleeCore
[ 82%] Built target kleeModule
[ 83%] Performing RuntimeBuild step for 'BuildKLEERuntimes'
make[3]: Entering directory /home/sunghyun/chopper/klee_build/runtime' make[4]: Entering directory /home/sunghyun/chopper/klee_build/runtime/Intrinsic'
make[4]: Leaving directory /home/sunghyun/chopper/klee_build/runtime/Intrinsic' make[4]: Entering directory /home/sunghyun/chopper/klee_build/runtime/klee-libc'
make[4]: Leaving directory /home/sunghyun/chopper/klee_build/runtime/klee-libc' make[4]: Entering directory /home/sunghyun/chopper/klee_build/runtime/POSIX'
make[4]: Leaving directory /home/sunghyun/chopper/klee_build/runtime/POSIX' make[3]: Leaving directory /home/sunghyun/chopper/klee_build/runtime'
[ 83%] Completed 'BuildKLEERuntimes'
[ 90%] Built target BuildKLEERuntimes
[ 92%] Built target kleeRuntest
[ 93%] Built target gen-random-bout
Linking CXX executable ../../bin/kleaver
../../lib/libkleaverSolver.a(FastCexSolver.cpp.o): In function propogateValues': /home/sunghyun/chopper/lib/Solver/FastCexSolver.cpp:1012: undefined reference to llvm::DebugFlag'
/home/sunghyun/chopper/lib/Solver/FastCexSolver.cpp:1012: undefined reference to llvm::isCurrentDebugType(char const*)' ../../lib/libkleaverSolver.a(FastCexSolver.cpp.o): In function CexData::propogatePossibleValues(klee::refklee::Expr, ValueRange)':
/home/sunghyun/chopper/lib/Solver/FastCexSolver.cpp:444: undefined reference to llvm::DebugFlag' /home/sunghyun/chopper/lib/Solver/FastCexSolver.cpp:444: undefined reference to llvm::isCurrentDebugType(char const*)'
../../lib/libkleaverSolver.a(IndependentSolver.cpp.o): In function getIndependentConstraints': /home/sunghyun/chopper/lib/Solver/IndependentSolver.cpp:353: undefined reference to llvm::DebugFlag'
/home/sunghyun/chopper/lib/Solver/IndependentSolver.cpp:353: undefined reference to `llvm::isCurrentDebugType(char const*)'
collect2: error: ld returned 1 exit status
make[2]: *** [bin/kleaver] Error 1
make[1]: *** [tools/kleaver/CMakeFiles/kleaver.dir/all] Error 2
make: *** [all] Error 2
