Hello everyone ! I followed http://klee.llvm.org/GetStarted.html when installing Klee over my LLVM 2.9 (as required), meaning :
1. Install dependencies DONE export C_INCLUDE_PATH=/usr/include/i386-linux-gnu/ DONE export CPLUS_INCLUDE_PATH/usr/include/i386-linux-gnu/ DONE 2. Build LLVM 2.9 DONE Install llvm-gcc DONE Add llvm-gcc to my PATH DONE export PATH=$PATH:/home/alex/llvm2.9/llvm/llvm-gcc-4.2-2.9-i686-linux/llvm-gcc-4.2-2.9-i686-linux/bin/ Download and build LLVM 2.9 DONE 3. Build STP DONE with --with-cryptominisat2 at configuration AND make OPTIMIZE=-O2 CFLAGS_M32= install at make ulimit -s unlimited DONE 4. Build uclibc with llvm-gcc DONE 5. svn klee DONE 6. Configure KLEE DONE ./configure --with-llvm=/home/alex/llvm2.9/llvm/ --with-stp=/home/alex/llvm2.9/llvm/stp/ --with-uclibc=/home/alex/llvm2.9/llvm/klee-uclibc-0.02-i386/ --with-llvm-build-mode=Release+Asserts --enable-posix-runtime 7. Build KLEE DONE with ENABLE_OPTIMIZED=1 no errors, but I have the warning "/home/alex/llvm2.9/llvm/klee/Makefile.rules:1175: Bytecode libraries require LLVM capable compiler but none is available ****" However, when I am trying the tutorials, I have the segfault error : klee: error: Cannot find linker input '/home/alex/llvm2.9/llvm/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca' They were not build at all during Klee compilation. Can you tell me what can I do? Maybe my problem is related to this thread : http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923 . Thank you for any help !
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
