Clone of official tools
config/definitions.json@47:21ae3e5a7128, 2021-02-04 (annotated)
- Committer:
- Anders Blomdell
- Date:
- Thu Feb 04 17:17:13 2021 +0100
- Revision:
- 47:21ae3e5a7128
- Parent:
- 43:2a7da56ebd24
Add a few normpath calls
Who changed what in which revision?
User | Revision | Line number | New contents of line |
---|---|---|---|
theotherjimmy |
43:2a7da56ebd24 | 1 | { |
theotherjimmy |
43:2a7da56ebd24 | 2 | "name_definition": { |
theotherjimmy |
43:2a7da56ebd24 | 3 | "description": "Name of the library", |
theotherjimmy |
43:2a7da56ebd24 | 4 | "type": "string", |
theotherjimmy |
43:2a7da56ebd24 | 5 | "items": { |
theotherjimmy |
43:2a7da56ebd24 | 6 | "type": "string" |
theotherjimmy |
43:2a7da56ebd24 | 7 | } |
theotherjimmy |
43:2a7da56ebd24 | 8 | }, |
theotherjimmy |
43:2a7da56ebd24 | 9 | "macro_definition": { |
theotherjimmy |
43:2a7da56ebd24 | 10 | "description": "A list of extra macros that will be defined when compiling a project that includes this library.", |
theotherjimmy |
43:2a7da56ebd24 | 11 | "type": "array", |
theotherjimmy |
43:2a7da56ebd24 | 12 | "items": { |
theotherjimmy |
43:2a7da56ebd24 | 13 | "type": "string", |
theotherjimmy |
43:2a7da56ebd24 | 14 | "pattern": "(^[\\w()_]+$|^[\\w()_]+=.+$)" |
theotherjimmy |
43:2a7da56ebd24 | 15 | } |
theotherjimmy |
43:2a7da56ebd24 | 16 | }, |
theotherjimmy |
43:2a7da56ebd24 | 17 | "config_definition": { |
theotherjimmy |
43:2a7da56ebd24 | 18 | "description": "List of configuration parameters", |
theotherjimmy |
43:2a7da56ebd24 | 19 | "type": "object", |
theotherjimmy |
43:2a7da56ebd24 | 20 | "patternProperties": { |
theotherjimmy |
43:2a7da56ebd24 | 21 | "^[^ ]+$": { |
theotherjimmy |
43:2a7da56ebd24 | 22 | "$ref": "#/config_parameter_base" |
theotherjimmy |
43:2a7da56ebd24 | 23 | } |
theotherjimmy |
43:2a7da56ebd24 | 24 | }, |
theotherjimmy |
43:2a7da56ebd24 | 25 | "additionalProperties": false |
theotherjimmy |
43:2a7da56ebd24 | 26 | }, |
theotherjimmy |
43:2a7da56ebd24 | 27 | "target_overrides_definition": { |
theotherjimmy |
43:2a7da56ebd24 | 28 | "description": "List of overrides for specific targets", |
theotherjimmy |
43:2a7da56ebd24 | 29 | "type": "object", |
theotherjimmy |
43:2a7da56ebd24 | 30 | "patternProperties": { |
theotherjimmy |
43:2a7da56ebd24 | 31 | "\\*": { |
theotherjimmy |
43:2a7da56ebd24 | 32 | "$ref": "#/target_override_entry" |
theotherjimmy |
43:2a7da56ebd24 | 33 | }, |
theotherjimmy |
43:2a7da56ebd24 | 34 | "^\\S+$": { |
theotherjimmy |
43:2a7da56ebd24 | 35 | "$ref": "#/target_override_entry" |
theotherjimmy |
43:2a7da56ebd24 | 36 | } |
theotherjimmy |
43:2a7da56ebd24 | 37 | }, |
theotherjimmy |
43:2a7da56ebd24 | 38 | "additionalProperties": false |
theotherjimmy |
43:2a7da56ebd24 | 39 | }, |
theotherjimmy |
43:2a7da56ebd24 | 40 | "config_parameter_long": { |
theotherjimmy |
43:2a7da56ebd24 | 41 | "type": "object", |
theotherjimmy |
43:2a7da56ebd24 | 42 | "properties": { |
theotherjimmy |
43:2a7da56ebd24 | 43 | "help": { |
theotherjimmy |
43:2a7da56ebd24 | 44 | "description": "An optional help message that describes the purpose of the parameter", |
theotherjimmy |
43:2a7da56ebd24 | 45 | "type": "string" |
theotherjimmy |
43:2a7da56ebd24 | 46 | }, |
theotherjimmy |
43:2a7da56ebd24 | 47 | "value": { |
theotherjimmy |
43:2a7da56ebd24 | 48 | "description": "An optional field that defines the value of the parameter", |
theotherjimmy |
43:2a7da56ebd24 | 49 | "type": [ |
theotherjimmy |
43:2a7da56ebd24 | 50 | "integer", |
theotherjimmy |
43:2a7da56ebd24 | 51 | "string", |
theotherjimmy |
43:2a7da56ebd24 | 52 | "boolean", |
theotherjimmy |
43:2a7da56ebd24 | 53 | "null" |
theotherjimmy |
43:2a7da56ebd24 | 54 | ] |
theotherjimmy |
43:2a7da56ebd24 | 55 | }, |
theotherjimmy |
43:2a7da56ebd24 | 56 | "required": { |
theotherjimmy |
43:2a7da56ebd24 | 57 | "description": "An optional field that specifies whether the parameter must be given a value before compiling the code. (False by default)", |
theotherjimmy |
43:2a7da56ebd24 | 58 | "type": "boolean" |
theotherjimmy |
43:2a7da56ebd24 | 59 | }, |
theotherjimmy |
43:2a7da56ebd24 | 60 | "macro_name": { |
theotherjimmy |
43:2a7da56ebd24 | 61 | "description": "An optional field for the macro defined at compile time for this configuration parameter. The system will automatically figure out the macro name from the configuration parameter, but this field will override it", |
theotherjimmy |
43:2a7da56ebd24 | 62 | "type": "string" |
theotherjimmy |
43:2a7da56ebd24 | 63 | } |
theotherjimmy |
43:2a7da56ebd24 | 64 | } |
theotherjimmy |
43:2a7da56ebd24 | 65 | }, |
theotherjimmy |
43:2a7da56ebd24 | 66 | "config_parameter_short": { |
theotherjimmy |
43:2a7da56ebd24 | 67 | "type": [ |
theotherjimmy |
43:2a7da56ebd24 | 68 | "array", |
theotherjimmy |
43:2a7da56ebd24 | 69 | "string", |
theotherjimmy |
43:2a7da56ebd24 | 70 | "integer", |
theotherjimmy |
43:2a7da56ebd24 | 71 | "boolean", |
theotherjimmy |
43:2a7da56ebd24 | 72 | "null" |
theotherjimmy |
43:2a7da56ebd24 | 73 | ] |
theotherjimmy |
43:2a7da56ebd24 | 74 | }, |
theotherjimmy |
43:2a7da56ebd24 | 75 | "config_parameter_base": { |
theotherjimmy |
43:2a7da56ebd24 | 76 | "oneOf": [ |
theotherjimmy |
43:2a7da56ebd24 | 77 | { |
theotherjimmy |
43:2a7da56ebd24 | 78 | "$ref": "#/config_parameter_long" |
theotherjimmy |
43:2a7da56ebd24 | 79 | }, |
theotherjimmy |
43:2a7da56ebd24 | 80 | { |
theotherjimmy |
43:2a7da56ebd24 | 81 | "$ref": "#/config_parameter_short" |
theotherjimmy |
43:2a7da56ebd24 | 82 | } |
theotherjimmy |
43:2a7da56ebd24 | 83 | ] |
theotherjimmy |
43:2a7da56ebd24 | 84 | }, |
theotherjimmy |
43:2a7da56ebd24 | 85 | "target_override_entry": { |
theotherjimmy |
43:2a7da56ebd24 | 86 | "type": "object", |
theotherjimmy |
43:2a7da56ebd24 | 87 | "patternProperties": { |
theotherjimmy |
43:2a7da56ebd24 | 88 | "^\\S+$": { |
theotherjimmy |
43:2a7da56ebd24 | 89 | "type": [ |
theotherjimmy |
43:2a7da56ebd24 | 90 | "array", |
theotherjimmy |
43:2a7da56ebd24 | 91 | "string", |
theotherjimmy |
43:2a7da56ebd24 | 92 | "integer", |
theotherjimmy |
43:2a7da56ebd24 | 93 | "boolean", |
theotherjimmy |
43:2a7da56ebd24 | 94 | "null" |
theotherjimmy |
43:2a7da56ebd24 | 95 | ] |
theotherjimmy |
43:2a7da56ebd24 | 96 | } |
theotherjimmy |
43:2a7da56ebd24 | 97 | }, |
theotherjimmy |
43:2a7da56ebd24 | 98 | "additionalProperties": false |
theotherjimmy |
43:2a7da56ebd24 | 99 | } |
theotherjimmy |
43:2a7da56ebd24 | 100 | } |