[LLVMdev] any linux distro with llvm/clang/klee packages available
Sean Bartell
sean at yotann.org
Wed Apr 8 06:24:02 PDT 2015
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150408/716230d5/attachment.html>
More information about the llvm-dev
mailing list