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
|
{
"$schema": "http://json-schema.org/draft-07/schema#",
"description": "Schema for the CMake cache object kind",
"type": "object",
"required": [
"kind",
"version",
"entries"
],
"properties": {
"kind": {
"type": "string",
"const": "cache"
},
"version": {
"type": "object",
"required": [
"major",
"minor"
],
"properties": {
"major": {
"type": "integer",
"const": 2
},
"minor": {
"type": "integer",
"const": 0
}
},
"additionalProperties": false
},
"entries": {
"type": "array",
"description": "Array of CMake cache entries",
"items": {
"type": "object",
"required": [
"name",
"value",
"type",
"properties"
],
"properties": {
"name": {
"type": "string",
"description": "Name of the cache entry"
},
"value": {
"type": "string",
"description": "Value of the cache entry"
},
"type": {
"type": "string",
"description": "Type of the cache entry used by CMake GUI to choose a widget for editing"
},
"properties": {
"type": "array",
"description": "Associated properties for the cache entry",
"items": {
"type": "object",
"required": [
"name",
"value"
],
"properties": {
"name": {
"type": "string"
},
"value": {
"type": "string"
}
},
"additionalProperties": false
}
}
},
"additionalProperties": false
}
}
},
"additionalProperties": false
}
|
