gllvm/examples/linux-kernel/build_linux_gllvm_tarball.sh

#!/usr/bin/env bash

### building from a tarball with gllvm

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
Building from tarballs seems more reliable and easier. 2018-05-07 18:29:31 +02:00			`#!/usr/bin/env bash`

Beter build from tarballs. 2018-05-07 18:41:38 +02:00			`### building from a tarball with gllvm`

Building from tarballs seems more reliable and easier. 2018-05-07 18:29:31 +02:00			`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`