diff --git a/CMakePresets.json b/CMakePresets.json index 1460b39d06..6b0601eac5 100644 --- a/CMakePresets.json +++ b/CMakePresets.json @@ -16,6 +16,7 @@ "name": "debug", "displayName": "Debug build config", "cacheVariables": { + "LEAN_EXTRA_CXX_FLAGS": "-DLEAN_DEFAULT_THREAD_STACK_SIZE=16*1024*1024", "CMAKE_BUILD_TYPE": "Debug" }, "generator": "Unix Makefiles",