Hi, the current webpage for KLEE is http://klee.github.io/klee/
Cristian On 14/05/2014 19:36, Alex wrote:
hey, following the instructions at http://klee.llvm.org/GetStarted.html, it tells me I need to do: ./configure --with-llvm=path/to/llvm --with-stp=path/to/stp/install to me it looks like path/to/llvm is a path to llvm sources. If I do not provide it, it uses the output of llvm-config --src-root However, I installed llvm 3.3 from the fedora package repository, using yum. So the src-root is /builddir/build/BUILD/llvm-3.3.src, which does not exist on my machine. I can compile my own projects against llvm using `llvm-config --cflags`, `llvm-config --cxxflags`, `llvm-config --libs` in my Makefiles. Can I compile klee in a similiar fashion? Cheers, Alex PS: The GettingStarted page on klee.llvm.org tries to forward me to http://ccadar.github.io/klee/GetStarted.html, which gives me a 404. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
