further README tweak

This commit is contained in:
Gerwin Klein 2014-08-03 13:11:09 +10:00
parent 424463426d
commit 56c93597e3
1 changed files with 2 additions and 2 deletions

View File

@ -123,8 +123,8 @@ need a gcc-compatible C pre-processor and python. Try the following steps:
installation of the command line tools.
* install `Tempita`, for instance using `sudo easy_install tempita`.
`easy_install` is part of Python's [`setuptools`][8].
* install the [`cpp`](misc/scripts/cpp) wrapper for clang, by putting it
in `~/bin`, or somewhere else in your `PATH`.
* install the [`misc/scripts/cpp`](misc/scripts/cpp) wrapper for clang,
by putting it in `~/bin`, or somewhere else in your `PATH`.
* set `export TOOLPREFIX=""` to tell the seL4 build not to use a cross
compiler.