ccadar/klee — pull request #78 by delcypher (2013-12-16 14:48:05+00:00)
Title: Fix klee install

This fixes using an installed version of KLEE. So now you can run

```
make install
```

and KLEE will install itself, its runtime libraries and should function correctly.

This work is a requirement for producing working linux distro packages for KLEE.