lean4/CMakePresets.json at master · leanprover/lean4 · 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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
{
  "version": 2,
  "cmakeMinimumRequired": {
    "major": 3,
    "minor": 10,
    "patch": 0
  },
  "configurePresets": [
    {
      "name": "release",
      "displayName": "Release build config",
      "generator": "Unix Makefiles",
      "binaryDir": "${sourceDir}/build/release"
    },
    {
      "name": "dev",
      "displayName": "Default development optimized build config",
      "cacheVariables": {
        "STRIP_BINARIES": "OFF"
      },
      "generator": "Unix Makefiles",
      "binaryDir": "${sourceDir}/build/dev"
    },
    {
      "name": "debug",
      "displayName": "Debug build config",
      "cacheVariables": {
        "CMAKE_BUILD_TYPE": "Debug",
        "LEAN_EXTRA_CXX_FLAGS": "-DLEAN_DEFAULT_THREAD_STACK_SIZE=16*1024*1024",
        "STRIP_BINARIES": "OFF"
      },
      "generator": "Unix Makefiles",
      "binaryDir": "${sourceDir}/build/debug"
    },
    {
      "name": "reldebug",
      "displayName": "Release with assertions enabled",
      "cacheVariables": {
        "CMAKE_BUILD_TYPE": "RelWithAssert",
        "STRIP_BINARIES": "OFF"
      },
      "generator": "Unix Makefiles",
      "binaryDir": "${sourceDir}/build/reldebug"
    },
    {
      "name": "sanitize",
      "displayName": "Sanitize build config",
      "cacheVariables": {
        "LEAN_EXTRA_CXX_FLAGS": "-fsanitize=address,undefined -DLEAN_DEFAULT_THREAD_STACK_SIZE=16*1024*1024",
        "LEANC_EXTRA_CC_FLAGS": "-fsanitize=address,undefined",
        "LEAN_EXTRA_LINKER_FLAGS": "-fsanitize=address,undefined -fsanitize-link-c++-runtime",
        "STRIP_BINARIES": "OFF",
        "SMALL_ALLOCATOR": "OFF",
        "USE_MIMALLOC": "OFF",
        "BSYMBOLIC": "OFF",
        "LEAN_TEST_VARS": "MAIN_STACK_SIZE=16000 TEST_STACK_SIZE=16000 LSAN_OPTIONS=max_leaks=10"
      },
      "generator": "Unix Makefiles",
      "binaryDir": "${sourceDir}/build/sanitize"
    },
    {
      "name": "sandebug",
      "inherits": ["sanitize", "debug"],
      "displayName": "Sanitize+debug build config",
      "binaryDir": "${sourceDir}/build/sandebug"
    }
  ],
  "buildPresets": [
    {
      "name": "release",
      "configurePreset": "release"
    },
    {
      "name": "dev",
      "configurePreset": "dev"
    },
    {
      "name": "debug",
      "configurePreset": "debug"
    },
    {
      "name": "reldebug",
      "configurePreset": "reldebug"
    },
    {
      "name": "sanitize",
      "configurePreset": "sanitize"
    },
    {
      "name": "sandebug",
      "configurePreset": "sandebug"
    }
  ],
  "testPresets": [
    {
      "name": "release",
      "configurePreset": "release",
      "output": {"outputOnFailure": true, "shortProgress": true}
    },
    {
      "name": "dev",
      "configurePreset": "dev",
      "output": {"outputOnFailure": true, "shortProgress": true}
    },
    {
      "name": "debug",
      "configurePreset": "debug",
      "inherits": "release"
    },
    {
      "name": "reldebug",
      "configurePreset": "reldebug",
      "inherits": "release"
    },
    {
      "name": "sanitize",
      "configurePreset": "sanitize",
      "inherits": "release"
    },
    {
      "name": "sandebug",
      "configurePreset": "sandebug",
      "inherits": "release"
    }
  ]
}