luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-10-15 01:25:20 +02:00
Code Activity

build: Allow disabling documentation build + print more build flags (#13871)

Browse Source 
* build: permit to disable documentation build

* build: add a message about some BUILD_* flags
This commit is contained in:
Loïc Blot
2023-10-09 15:35:12 +02:00
committed by GitHub
parent 2c74797d34
commit 929a13a9a0
2 changed files with 25 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
doc/compiling/README.md
View File

@@ -13,6 +13,7 @@ General options and their default values:
BUILD_SERVER=FALSE - Build Minetest server
BUILD_UNITTESTS=TRUE - Build unittest sources
BUILD_BENCHMARKS=FALSE - Build benchmark sources
BUILD_DOCUMENTATION=TRUE - Build doxygen documentation
CMAKE_BUILD_TYPE=Release - Type of build (Release vs. Debug)
Release - Release build
Debug - Debug build