Scripts for automating the building process of KLEE.
- Archlinux: PKGBUILD for
makepkg.- supports unstable version based on LLVM 3.3/3.4.
- needs to manually build LLVM and Clang.
- Ubuntu: bash script.
- supports unstable version based on LLVM 3.4.
- does not need to manually build LLVM and Clang.