Update compilation of tutorial and instruction in README

Signed-off-by: Kakadu <Kakadu@pm.me>
This commit is contained in:
Kakadu 2021-02-15 21:34:23 +03:00
parent 107a2e2061
commit 9b3678f8bd
4 changed files with 23 additions and 20 deletions

View file

@ -98,6 +98,6 @@ Windows users should get Windows Subsystem for Linux a.k.a WSL (recommended) or
/home/user/.opam/lama/bin/lamac
```
### Smoke-testing:
### Smoke-testing (optional)
Clone the repository and run `make -C tutorial LAMAC=../src/lamac`. Without extra `LAMAC` switch it will try to use `lamac` installed system-wide to build tutorial.
Clone the repository and run `make -C tutorial`. It should build local compiler `src/lamac` and a few tutorial executables in `tutorial/`.