diff options
| author | Brian Gianforcaro <b.gianfo@gmail.com> | 2021-01-01 02:44:04 -0800 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2021-01-01 14:37:04 +0100 |
| commit | 43908db594ff2d4c0b3869ca3ba5cf8c0be8427a (patch) | |
| tree | ad12b3ca96704e5e6e44eeb4bfb13529a6c19a4b /.github | |
| parent | 40f671ac6732f9409f1f25ac6dea6fd2cd3c323c (diff) | |
| download | serenity-43908db594ff2d4c0b3869ca3ba5cf8c0be8427a.zip | |
CMake: Add public cmake option to document BUILD_LAGOM
- Making this an option makes this option visible to users and tooling.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/cmake.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml index 340a97e952..f33ad39e94 100644 --- a/.github/workflows/cmake.yml +++ b/.github/workflows/cmake.yml @@ -66,7 +66,7 @@ jobs: run: | mkdir -p Build cd Build - cmake .. -GNinja -DBUILD_LAGOM=1 -DENABLE_ALL_THE_DEBUG_MACROS=ON + cmake .. -GNinja -DBUILD_LAGOM=ON -DENABLE_ALL_THE_DEBUG_MACROS=ON # === ACTUALLY BUILD AND TEST === @@ -173,7 +173,7 @@ jobs: run: | mkdir -p Build cd Build - cmake .. -GNinja -DBUILD_LAGOM=1 -DENABLE_ALL_THE_DEBUG_MACROS=ON -DCMAKE_C_COMPILER=gcc-10 -DCMAKE_CXX_COMPILER=g++-10 + cmake .. -GNinja -DBUILD_LAGOM=ON -DENABLE_ALL_THE_DEBUG_MACROS=ON -DCMAKE_C_COMPILER=gcc-10 -DCMAKE_CXX_COMPILER=g++-10 # === ACTUALLY BUILD AND TEST === |