llvm dev - Apr 2015 - [LLVMdev] any linux distro with llvm/clang/klee packages available

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

On Tue, Apr 07, 2015 at 12:19:30PM -0700, Donald Raikes
wrote:
> 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.
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,
-- 
Peter

On Tue, Apr 7, 2015 at 12:45 PM, Peter Collingbourne <peter at pcc.me.uk>
wrote:
> On Tue, Apr 07, 2015 at 12:19:30PM -0700, Donald Raikes wrote:
> > 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.
>
> 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,
> --
> Peter
> _______________________________________________
>


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20150407/85a8783c/attachment.html>

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>