any linux distro with llvm/clang/klee packages available

Project Infrastructure LLVM Dev List Archives
#1

Are there any "current" Linux distros that have installable packages
for llvm, clang, nad klee?

I am struggling to get klee built and need a working klee setup asap.

Thanks in advance,
Donald

#2

You may have better luck with your klee questions on the klee-dev
mailing list at http://mailman.ic.ac.uk/pipermail/klee-dev/

Thanks,

#3

https://github.com/klee/klee-legacy-website
https://github.com/klee/klee-legacy-website/blob/master/GetStarted.html

Save "Raw" of the above page ( and when required , the other pages ) , try
to follow steps in it .

Mehmet Erol Sanliturk

#4

Donald Raikes on 2015-04-07:

Are there any “current” Linux distros that have installable packages for llvm, clang, nad klee?

I am struggling to get klee built and need a working klee setup asap.

I don’t think any distros have Klee, but there are some Docker containers you could try. For instance, try installing Docker and running this:

# start Klee container
docker run -it --name klee -v /PATH/TO/SOURCE:/src kleeweb/klee /bin/bash

# run Klee
klee --version
ls /src

# leave Klee container
exit

# resume Klee container
docker start -i klee