[klee-dev] LLVM3.4 installation problem on Ubuntu 16.04 LTS

[Rutledge, Richard L]

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 <xianlingzibiying at gmail.com<mailto:xianlingzibiying at 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 at imperial.ac.uk<mailto:klee-dev at imperial.ac.uk>
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed