diff --git a/README.md b/README.md index f37e5823..7425807e 100644 --- a/README.md +++ b/README.md @@ -25,8 +25,7 @@ Build the package as follows: ```bash export LMNTAL_HOME=/path/to/devel # set the path to the compiler cd slim -mkdir build && cd build -cmake -DCMAKE_BUILD_TYPE=Release .. +cmake -DCMAKE_INSTALL_PREFIX=$(pwd) -DCMAKE_BUILD_TYPE=Release -B build -S . make -j make -j install ``` @@ -36,12 +35,19 @@ or ```bash tar xvzf slim-x.y.z.tar.gz cd slim-x.y.z -mkdir build && cd build -cmake -DCMAKE_BUILD_TYPE=Release .. +cmake -DCMAKE_INSTALL_PREFIX=$(pwd) -DCMAKE_BUILD_TYPE=Release -B build -S . make -j make -j install ``` +If Ninja is preferred, you can use it as follows: + +```bash +cmake -G Ninja -DCMAKE_INSTALL_PREFIX=$(pwd) -DCMAKE_BUILD_TYPE=Release -B build -S . +ninja +ninja install +``` + Among generated files, `bin/slim` is the LMNtal interpreter. So you can run SLIM as follows: