Skip to content

Commit d3420c6

Browse files
Update CMake command in docs. (#119)
1 parent b1758c3 commit d3420c6

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

docs/eval_modes/compile.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ For example, to compile and execute the `greeting.flg` program from above, you c
1616
```
1717
java -jar formulog.jar -c examples/greeting.flg && \
1818
cd codegen && \
19-
cmake -B build -S . && \
19+
cmake -B build -S . -DCMAKE_BUILD_TYPE=Release && \
2020
cmake --build build -j && \
2121
./build/flg --dump-idb
2222
```

docs/eval_modes/eager.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ For example, to build a version of the greeting program that uses eager evaluati
1818
```
1919
java -jar formulog.jar -c examples/greeting.flg && \
2020
cd codegen && \
21-
cmake -B build -S . -DFLG_EAGER_EVAL=On && \
21+
cmake -B build -S . -DCMAKE_BUILD_TYPE=Release -DFLG_EAGER_EVAL=On && \
2222
cmake --build build -j && \
2323
./build/flg --dump-idb
2424
```

0 commit comments

Comments
 (0)