Tools: Enable tools compilation by default

(the time diff is small and it will help starters, advanced users can disable it at any time on cmake guy/compilation script)
This commit is contained in:
Aokromes
2017-02-09 09:46:05 +01:00
committed by GitHub
parent c7d6b6f92c
commit 48724ada69

View File

@@ -33,7 +33,7 @@ foreach(SCRIPT_MODULE ${SCRIPT_MODULE_LIST})
set_property(CACHE ${SCRIPT_MODULE_VARIABLE} PROPERTY STRINGS default disabled static dynamic)
endforeach()
option(TOOLS "Build map/vmap/mmap extraction/assembler tools" 0)
option(TOOLS "Build map/vmap/mmap extraction/assembler tools" 1)
option(USE_SCRIPTPCH "Use precompiled headers when compiling scripts" 1)
option(USE_COREPCH "Use precompiled headers when compiling servers" 1)
option(WITH_DYNAMIC_LINKING "Enable dynamic library linking." 0)