| changeset 543 | 0b430064fc8d |
| parent 330 | 74f23d3af091 |
| child 2012 | f0d921e412b0 |
| 542:38a6b02d601d | 543:0b430064fc8d |
|---|---|
1 #labels Phase-Implementation |
1 #labels Phase-Implementation |
2 ==Automatic== |
2 ==Automatic== |
3 |
3 |
4 Configure with `cmake -DNOPASCAL=1` and then run `make`. |
4 Configure with `cmake -DBUILD_ENGINE_C=1` and then run `make`. |
5 |
5 |
6 ==Manual run== |
6 ==Manual run== |
7 |
7 |
8 Run from the `tools` folder |
8 Run from the `tools` folder |
9 {{{ |
9 {{{ |