Building from tarballs seems more reliable and easier.

examples/linux-kernel/build_linux_gllvm_git.sh

@@ -1,10 +1,8 @@
 #!/usr/bin/env bash
 
-mkdir -p ${GOPATH}
 go get github.com/SRI-CSL/gllvm/cmd/...
 
-mkdir ${HOME}/linux_kernel
+cd ${HOME}
-cd ${HOME}/linux_kernel
 git clone git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
 
 cd linux-stable

examples/linux-kernel/build_linux_gllvm_tarball.sh

@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+
+go get github.com/SRI-CSL/gllvm/cmd/...
+
+cd ${HOME}
+wget https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.14.39.tar.xz
+tar xvf linux-4.14.39.tar.xz
+cd linux-4.14.39
+
+cp /vagrant/tinyconfig64 .config
+
+make CC=gclang HOSTCC=gclang
+
+get-bc -m -b built-in.o
+get-bc -m vmlinux

examples/linux-kernel/build_linux_wllvm_git.sh

@@ -2,8 +2,7 @@
 
 sudo pip install wllvm
 
-mkdir ${HOME}/linux_kernel
+cd ${HOME}
-cd ${HOME}/linux_kernel
 git clone git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
 
 cd linux-stable

examples/linux-kernel/build_linux_wllvm_tarball.sh

@@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+
+sudo pip install wllvm
+
+cd ${HOME}
+wget https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.14.39.tar.xz
+tar xvf linux-4.14.39.tar.xz
+cd linux-4.14.39
+
+cp /vagrant/tinyconfig64 .config
+
+
+make CC=wllvm HOSTCC=wllvm
+
+extract-bc -m -b built-in.o
+extract-bc -m vmlinux