[klee-dev] Launchpad PPA for KLEE

[Cristian Cadar]

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
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>