option(DISABLE_DISCORD_RPC "Disable Discord-RPC support." OFF) option(DISABLE_GOOGLE_BENCHMARK "Disable Google Benchmarks support." OFF) option(DISABLE_HTTP_TWITCH "Disable HTTP and Twitch support.") option(DISABLE_HTTP "Disable HTTP support.") option(DISABLE_NETWORK "Disable multiplayer functional...