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

README.md tweaks.

Browse Source
This commit is contained in:
Ian A. Mason 2018-05-07 09:56:48 -07:00
parent 6ace083d21
commit 9648083167
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -66,7 +66,8 @@ export PATH=${GOPATH}/bin:${LLVM_HOME}/bin:${PATH}
## Configuration stuff. ## Configuration stuff.
The file `tinyconfig64` is generated ... The file [`tinyconfig64`](https://github.com/SRI-CSL/gllvm/blob/master/examples/linux-kernel/tinyconfig64) is generated
by `make tinyconfig` and the using `make menuconfig` to specialize the build to 64 bits.
## The Tarball Build with gllvm ## The Tarball Build with gllvm
@ -125,7 +126,3 @@ You can also build from a [git clone using gllvm,](https://github.com/SRI-CSL/gl
or build from a [git clone using wllvm.](https://github.com/SRI-CSL/gllvm/blob/master/examples/linux-kernel/build_linux_wllvm_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. Though using a tarball is faster, and seemingly more reliable.
## Extracting the bitcode