llzk-lib/CMakePresets.json at main · GaloisInc/llzk-lib · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
{
  "version": 6,
  "cmakeMinimumRequired": {
    "major": 3,
    "minor": 25,
    "patch": 0
  },
  "configurePresets": [
    {
      "name": "base",
      "hidden": true,
      "generator": "Ninja",
      "binaryDir": "${sourceDir}/build/${presetName}",
      "cacheVariables": {
        "LLZK_BUILD_DEVTOOLS": "ON"
      }
    },
    {
      "name": "debug",
      "displayName": "Debug",
      "inherits": "base",
      "description": "Disables optimizations, includes debug info, and generates coverage data.",
      "cacheVariables": {
        "CMAKE_BUILD_TYPE": "Debug"
      }
    },
    {
      "name": "release",
      "displayName": "Release",
      "inherits": "base",
      "description": "Includes optimizations but no debug info.",
      "cacheVariables": {
        "CMAKE_BUILD_TYPE": "Release"
      }
    },
    {
      "name": "minSizeRel",
      "displayName": "Release (size optimized)",
      "inherits": "base",
      "description": "Optimizes for size. No debug info.",
      "cacheVariables": {
        "CMAKE_BUILD_TYPE": "MinSizeRel"
      }
    },
    {
      "name": "relWithDebInfo",
      "displayName": "Release (with debug info)",
      "inherits": "base",
      "description": "Optimizes for speed but also includes debug info.",
      "cacheVariables": {
        "CMAKE_BUILD_TYPE": "RelWithDebInfo"
      }
    },
    {
      "name": "debWithSans",
      "displayName": "Debug + ASAN + UBSAN",
      "inherits": "base",
      "description": "Like Debug but instrumented with ASAN and UBSAN.",
      "cacheVariables": {
        "CMAKE_BUILD_TYPE": "DebWithSans"
      }
    }
  ]
}