[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