Build llvm from source. Links to the source tarballs and documentation can be found here : http://releases.llvm.org/ Use the 3.4.2 release with clang, llvm, compiler-rt, and test-suite tarballs. I highly recommend building both llvm and klee with cmake. Also, you can save some build time if you set LLVM_TARGETS_TO_BUILD=host in llvm’s cmake build config. Unless you intend to cross-compile klee. Hmm , PiKlee ... :)
Cheers! Rick Rutledge On 21 Mar 2017, at 04:39, Zhiyi Zhang <xianlingzibiy...@gmail.com<mailto:xianlingzibiy...@gmail.com>> wrote: Hi, I tried building KLEE on Ubuntu 16.04 LTS. However, I faced some problems when installing LLVM3.4. I firstly added "deb http://llvm.org/apt/trusty/ llvm-toolchain-trusty-3.4 main" and "deb-src http://llvm.org/apt/trusty/ llvm-toolchain-trusty-3.4 main" to /etc/apt/sources.list, and updated it. Then, when I use the order "sudo apt-get install llvm-3.4-dev", I got the following error messages: "Some packages could not be installed. This may mean that you have requested an impossible situation or if you are using the unstable distribution that some required packages have not yet been created or been moved out of Incoming. The following information may help to resolve the situation: The following packages have unmet dependencies: llvm-3.4-dev : Depends: libisl10 ( >=0.12.1 ) but it is not installable Depends: libjsoncpp0 ( >= 0.6.0~rc2) but it is not installable E: Unable to correct problems, you have held broken packages." I have installed packages "libisl-dev" and "libjsoncpp-dev", and tried "apt-get -f install", but I still got the same errors as before. What should I do to solve this problem? Thanks for your help! Best Wishes! <webwxgetmsgimg (2).jpg> <webwxgetmsgimg.jpg> <webwxgetmsgimg (1).jpg> _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk<mailto:klee-dev@imperial.ac.uk> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
