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.