LLVM 3.4

build-KLEE-uclib.sh

```
export PATH=/home/ercoppa/Desktop/code/llvm-3.4-cmake/bin:$PATH
./configure --make-llvm-lib
make
```

build-KLEE.md

-DENABLE_SOLVER_Z3=ON
-DENABLE_UNIT_TESTS=OFF
-DENABLE_SYSTEM_TESTS=OFF
-DENABLE_POSIX_RUNTIME=OFF
-DENABLE_KLEE_UCLIBC=OFF
-DLLVM_CONFIG_BINARY=/home/ercoppa/Desktop/code/llvm-3.4-cmake/bin/llvm-config
-DLLVM_TOOLS_BINARY_DIR=/home/ercoppa/Desktop/code/llvm-3.4-cmake/bin/
-DCMAKE_PREFIX_PATH=/home/ercoppa/Desktop/code/llvm-3.4-cmake/

install-llvm-3.4-for-KLEE-with-cmake.md

1. Get LLVM 3.4, clang 3.4, compiler-rt 3.4, clang-tools. Put clang in llvm/tools, rt in llvm/projects, clang-tools in llvm/tools/clang/tools
2. Patch llvm-config to fix output: [PATCH] [Bug]
3. unset LIBRARY_PATH CPATH C_INCLUDE_PATH PKG_CONFIG_PATH CPLUS_INCLUDE_PATH INCLUDE
4. mkdir llvm-3.4-cmake; cd llvm-3.4-cmake; cmake -DCMAKE_BUILD_TYPE="Debug" ~/Downloads/llvm-3.4.2.src; make -j2

llvm-3.4-for-KLEE-with-autotools.md

export REQUIRE_RTTI=1
~/Downloads/llvm-3.4.2.src/configure --disable-optimized REQUIRE_RTTI=1
make REQUIRE_RTTI=1 -j3

minisat and STP

git clone git@github.com:stp/minisat.git
cd minisat
mkdir build
cd build
cmake -DSTATIC_BINARIES=ON -DCMAKE_INSTALL_PREFIX=../build-install/ ../

git clone https://github.com/stp/stp.git
mkdir build
cd build
cmake -DBUILD_SHARED_LIBS:BOOL=OFF -DENABLE_PYTHON_INTERFACE:BOOL=OFF -DMINISAT_LIBRARY=/home/ercoppa/Desktop/code/minisat/build-install/lib/libminisat.a -DMINISAT_INCLUDE_DIR=/home/ercoppa/Desktop/code/minisat/build-install/include ..