[klee-dev] Launchpad PPA for KLEE

[Cristian Cadar]

Can you please open an issue on GitHub regarding this?  It would be 
easier to discuss it there.

Best,
Cristian

On 18/11/15 17:39, Attila Török wrote:
> Yes, as listed on the bottom of the PPA's webpage, it's KLEE 1.1.0 using
> LLVM 3.4, and STP 2.1.2.
> Attila
>
> (Sorry for the duplicate, Cristian, the last letter accidentally didn't
> go on the list.)
>
> 2015-11-18 18:01 GMT+01:00 Cristian Cadar <c.cadar at imperial.ac.uk
> <mailto:c.cadar at imperial.ac.uk>>:
>
>     Hi Attila, I'm glad to see this! I will take a closer look soon. Is
>     this the latest release of KLEE, 1.1.0, with LLVM 3.4 and STP 2.1.0
>     as dependencies?
>
>     Best,
>     Cristian
>
>
>     On 18/11/15 16:41, Attila Török wrote:
>
>         Hi Everyone!
>
>         As it has been mentioned a few times on this list [1] [2], a simpler
>         installation method for KLEE might be helpful, for example in a
>         form of
>         a Debian (Ubuntu) package. I know that there is already support
>         for a
>         Docker image, but somehow I find that degree of separation more
>         of an
>         inconvenience than any help, but it can be just me.
>
>         So I went ahead and created a PPA on Launchpad in which I uploaded a
>         package containing KLEE:
>         https://launchpad.net/~torokati44/+archive/ubuntu/klee
>         The installation is just as simple as with any other packages in
>         PPAs,
>         only these three commands need to be executed:
>
>         sudo add-apt-repository ppa:torokati44/klee
>         sudo apt-get update
>         sudo apt-get install klee
>
>         POSIX runtime support with uClibc is built in, but the other two
>         packages in the PPA are not necessary for it to work, they are just
>         build-time dependencies - as far as I can tell. Still, if there was
>         something missing (some headers or such), installing those too
>         won't hurt.
>
>         It has been tested on my daily driver Linux Mint 17.2, and also
>         fresh
>         installs of Ubuntu 14.04.3 and Debian 8.2. (For the latter one, the
>         software-properties-common package had to be manually installed
>         beforehand, as that provides the add-apt-repository tool, then the
>         created apt source file had to be manually edited, replacing all
>         instances of "jessie" with "trusty" in it. This is because the
>         PPA is
>         intended for Ubuntu, it just happens to work well on Debian too.)
>         In all three cases the package installed without any issues, and the
>         basic functionality of KLEE was there, including the POSIX runtime
>         support - although I haven't subjected it to heavy testing yet,
>         so some
>         bugs or deficiencies are to be expected.
>         Please keep in mind that this is my first time packaging
>         software this
>         way, and it's nowhere near a fully polished version yet, but I think
>         it's a fairly good start.
>
>         Some issues (among others) are: missing man pages, lack of rigorous
>         testing, some rough edges in the build process.
>         Also, maybe cryptominisat4 should be packaged too.
>
>         So if anyone interested could try installing and using this package,
>         then sent me some feedback, it would be greatly appreciated.
>
>         Thank you,
>         Attila Török
>         BME-VIK
>
>         [1]:
>         https://www.mail-archive.com/klee-dev@imperial.ac.uk/msg01402.html
>         [2]:
>         https://www.mail-archive.com/klee-dev@imperial.ac.uk/msg02096.html
>
>
>         _______________________________________________
>         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
>
>
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>