Hi, On 16 August 2015 at 11:02, Owl owl <[email protected]> wrote: > Hey, > > Wanted to give people a heads up that I've started a project to simplify the > install process for KLEE. > > https://github.com/Owlz/EasyKLEE > > At the moment, I've only gotten support for Ubuntu 15.04 x64, but am > planning on adding other versions too. It builds out KLEE 3.4 with LLVM 3.4 > and associated dependencies. On my VM at home, this takes about 10-15 > minutes to complete the install.
Thanks for having a go at this however others have done this in the past (e.g. [1]) so that isn't really where effort needs to be spent (also scripts for building KLEE are already in the git repository which are used for TravisCI and for building the Docker image). What really needs doing is * Documenting using our Docker image [2][3]. Using the docker image is much more convenient and reliable than using shell scripts. * Building a KLEE Ubuntu package. This is on my TODO list but it is quite involved because we need to make STP and Cryptominisat4 packages too. [1] http://mailman.ic.ac.uk/pipermail/klee-dev/2014-October/000852.html [2] https://hub.docker.com/r/klee/klee/ [3] http://mailman.ic.ac.uk/pipermail/klee-dev/2015-April/001036.html _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
