We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 24ecaa9 commit 155bb1fCopy full SHA for 155bb1f
README.md
@@ -12,7 +12,7 @@ The TTA parser assumes models modelled in the [H-UPPAAL](https://github.com/DEIS
12
First, make sure that you have initialized all git submodules.
13
```
14
mkdir build && cd build
15
-cmake ..
+cmake -DCMAKE_BUILD_TYPE=Release ..
16
make
17
18
If you want to compile release version, simply do:
@@ -24,7 +24,7 @@ make RELEASE=1
24
This will install the `aaltitoad` commandline tool to `/usr/local/bin/` or `REDACTED` on windows/macOS
25
26
27
28
make install
29
30
0 commit comments