klee: concretize condition in switch statements.

These only happen in QEMU LLVM bitcode, not sure how
to deal with them for now. Happen not very frequently.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
build: Change native clang build to a normal stamps target

This will help in refactoring the target recipes.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Compile debug and release llvm and tools in separate directories

This will help refactor the target recipes.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Introduce a pattern rule for compilation targets

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: cosmetics: Place recipes in consistent debug before release order

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: cosmetics: Reorder KLEE build dependencies for consistency

Signed-off-by: Diego Biurrun <diego@biurrun.de>
Updated authors list

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
build: docs: Use wildcard Make function instead of resorting to shell commands.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: docs: Eliminate pointless (g)sed indirection.

The sed invocation uses nothing that is not part of POSIX.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
Remove all deprecated and broken bits regarding building S2E on Windows.

S2E does not currently build on Windows, so the instructions and scripts
are nothing more than cruft right now.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
docs: Remove no longer required -m32 from compile commands.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
windbg-gdb: Remove unnecessary -m64 from compile commands.

Also clean up some whitespace errors.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
docs: Update all build instructions that force 32-bit guests.

S2E is no longer limited to 32-bit guests.

Signed-off-by: Diego Biurrun <diego@biurrun.de>