danog/gllvm
1
0
Fork 0
mirror of https://github.com/danog/gllvm.git synced 2024-11-26 19:44:42 +01:00
Code Issues Packages Projects Releases Wiki Activity

Beter build from tarballs.

Browse Source
This commit is contained in:
Ian A. Mason 2018-05-07 09:41:38 -07:00
parent 1184fe0a56
commit 6ace083d21
7 changed files with 38 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
examples/linux-kernel/README.md
View File

@ -31,6 +31,8 @@ end
```bash
#!/usr/bin/env bash
# vagrant bootstrapping file
sudo apt-get update
sudo apt-get install -y emacs24 dbus-x11
@ -46,6 +48,8 @@ echo ". /vagrant/bash_profile" >> /home/vagrant/.bashrc
## Shell Settings
```bash
#### /vagrant/bash_profile
#### llvm
export LLVM_HOME=/usr/lib/llvm-5.0
export GOPATH=/vagrant/go
@ -64,7 +68,7 @@ export PATH=${GOPATH}/bin:${LLVM_HOME}/bin:${PATH}
The file `tinyconfig64` is generated ...
## The Build with gllvm
## The Tarball Build with gllvm
The build process is carried out by running the `build_linux_gllvm.sh`
script.
@ -72,15 +76,15 @@ script.
```bash
#!/usr/bin/env bash
mkdir -p ${GOPATH}
### building from a tarball with gllvm
go get github.com/SRI-CSL/gllvm/cmd/...
mkdir ${HOME}/linux_kernel
cd ${HOME}/linux_kernel
git clone git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
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
cd linux-stable
git checkout tags/v4.14.34
cp /vagrant/tinyconfig64 .config
make CC=gclang HOSTCC=gclang
@ -89,7 +93,7 @@ get-bc -m -b built-in.o
get-bc -m vmlinux
```
## The Build with wllvm
## The Tarball Build with wllvm
The build process is carried out by running the `build_linux_wllvm.sh`
script.
@ -97,14 +101,15 @@ script.
```bash
#!/usr/bin/env bash
### building from a tarball with wllvm
sudo pip install wllvm
mkdir ${HOME}/linux_kernel
cd ${HOME}/linux_kernel
git clone git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
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
cd linux-stable
git checkout tags/v4.14.34
cp /vagrant/tinyconfig64 .config
@ -114,5 +119,13 @@ extract-bc -m -b built-in.o
extract-bc -m vmlinux
```
## Building from a git clone
You can also build from a [git clone using gllvm,](https://github.com/SRI-CSL/gllvm/blob/master/examples/linux-kernel/build_linux_gllvm_git.sh)
or build from a [git clone using wllvm.](https://github.com/SRI-CSL/gllvm/blob/master/examples/linux-kernel/build_linux_wllvm_git.sh)
Though using a tarball is faster, and seemingly more reliable.
## Extracting the bitcode

2
examples/linux-kernel/bash_profile
View File

@ -1,3 +1,5 @@
#### /vagrant/bash_profile
#### llvm
export LLVM_HOME=/usr/lib/llvm-5.0
export GOPATH=/vagrant/go

2
examples/linux-kernel/bootstrap.sh
View File

@ -1,5 +1,7 @@
#!/usr/bin/env bash
# vagrant bootstrapping file
sudo apt-get update
sudo apt-get install -y emacs24 dbus-x11

2
examples/linux-kernel/build_linux_gllvm_git.sh
View File

@ -1,5 +1,7 @@
#!/usr/bin/env bash
### building from a git clone with gllvm
go get github.com/SRI-CSL/gllvm/cmd/...
cd ${HOME}

2
examples/linux-kernel/build_linux_gllvm_tarball.sh
View File

@ -1,5 +1,7 @@
#!/usr/bin/env bash
### building from a tarball with gllvm
go get github.com/SRI-CSL/gllvm/cmd/...
cd ${HOME}

2
examples/linux-kernel/build_linux_wllvm_git.sh
View File

@ -1,5 +1,7 @@
#!/usr/bin/env bash
### building from a git clone with wllvm
sudo pip install wllvm
cd ${HOME}

2
examples/linux-kernel/build_linux_wllvm_tarball.sh
View File

@ -1,5 +1,7 @@
#!/usr/bin/env bash
### building from a tarball with wllvm
sudo pip install wllvm
cd ${HOME}