option(enable_doc "Whether we should rebuild the documentation" off)
option(enable_compile_optimizations "" off)
option(enable_compile_warnings "Whether compilation warnings should be turned into errors." off)
option(enable_doc "Whether we should rebuild the documentation" off)
option(enable_compile_optimizations "" off)
option(enable_compile_warnings "Whether compilation warnings should be turned into errors." off)