From 69ce06b180005a59d2d5001f70e275d9f58bd2b2 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sat, 22 Apr 2017 13:40:06 +0200 Subject: [PATCH] Installation at a user defined location add small description to install HermitCore at a user defined location --- README.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 4e26b305c..5f08467e9 100644 --- a/README.md +++ b/README.md @@ -104,8 +104,13 @@ $ 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 +``` ## Testing