Add a hack for Travis so that llvm-gcc can build native executables.

This could be useful if KLEE tests want to use the bitcode compiler
as a native compiler.

1 files changed, 15 insertions, 0 deletions

diff --git a/.travis/install-llvm-and-runtime-compiler.sh b/.travis/install-llvm-and-runtime-compiler.sh
index 6374747e..6fba5baf 100755
--- a/.travis/install-llvm-and-runtime-compiler.sh
+++ b/.travis/install-llvm-and-runtime-compiler.sh
@@ -10,4 +10,19 @@ else
     wget http://llvm.org/releases/2.9/llvm-gcc4.2-2.9-x86_64-linux.tar.bz2
     tar -xjf llvm-gcc4.2-2.9-x86_64-linux.tar.bz2
     mv llvm-gcc4.2-2.9-x86_64-linux llvm-gcc
+
+    # Hack to make llvm-gcc capable of building a native executable
+    OLD_DIR=$(pwd)
+    cd llvm-gcc/lib/gcc/x86_64-unknown-linux-gnu/4.2.1
+    ln -s /usr/lib/x86_64-linux-gnu/crt1.o
+    ln -s /usr/lib/x86_64-linux-gnu/crti.o
+    ln -s /usr/lib/x86_64-linux-gnu/crtn.o
+    cd "$OLD_DIR"
+
+    # Check it can compile hello world
+    echo -e "#include <stdio.h> \n int main(int argc, char** argv) { printf(\"Hello World\"); return 0;}" > test.c
+    export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu
+    export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu
+    llvm-gcc/bin/llvm-gcc test.c -o hello_world
+    ./hello_world
 fi