1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00

Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel

This commit is contained in:
Stefan Lankes 2017-04-23 00:37:10 +02:00
commit 3dddfe01c9

View file

@ -104,8 +104,15 @@ $ cmake -DTOOLCHAIN_BIN_DIR=/home/user/hermit/bin ..
```
assuming that binaries like `x86_64-hermit-gcc` and friends are located in that
directory.
directory. To install your new version in the same directory, you have to set the installation path and to install HermitCore as follows:
```bash
$ cmake -DTOOLCHAIN_BIN_DIR=/home/user/hermit/bin -DCMAKE_INSTALL_PREFIX=/home/user/hermit ..
$ make
$ make install
```
**Note:** If you use the cross compiler outside of this repository, the compiler uses per default the library operating systems located by the toolchain (e.g. `/opt/hermit/x86_64-hermit/lib/libhermit.a`).
## Testing