Clone of official tools
config/schema_lib.json@43:2a7da56ebd24, 2018-09-25 (annotated)
- Committer:
- theotherjimmy
- Date:
- Tue Sep 25 13:43:09 2018 -0500
- Revision:
- 43:2a7da56ebd24
Release 5.10.0
Who changed what in which revision?
User | Revision | Line number | New contents of line |
---|---|---|---|
theotherjimmy |
43:2a7da56ebd24 | 1 | { |
theotherjimmy |
43:2a7da56ebd24 | 2 | "$schema": "http://json-schema.org/draft-06/schema#", |
theotherjimmy |
43:2a7da56ebd24 | 3 | "title": "Mbed Library Schema", |
theotherjimmy |
43:2a7da56ebd24 | 4 | "description": "Configuration file for an mbed library", |
theotherjimmy |
43:2a7da56ebd24 | 5 | "type": "object", |
theotherjimmy |
43:2a7da56ebd24 | 6 | "properties": { |
theotherjimmy |
43:2a7da56ebd24 | 7 | "name": { |
theotherjimmy |
43:2a7da56ebd24 | 8 | "$ref": "definitions.json#/name_definition" |
theotherjimmy |
43:2a7da56ebd24 | 9 | }, |
theotherjimmy |
43:2a7da56ebd24 | 10 | "config": { |
theotherjimmy |
43:2a7da56ebd24 | 11 | "$ref": "definitions.json#/config_definition" |
theotherjimmy |
43:2a7da56ebd24 | 12 | }, |
theotherjimmy |
43:2a7da56ebd24 | 13 | "target_overrides": { |
theotherjimmy |
43:2a7da56ebd24 | 14 | "$ref": "definitions.json#/target_overrides_definition" |
theotherjimmy |
43:2a7da56ebd24 | 15 | }, |
theotherjimmy |
43:2a7da56ebd24 | 16 | "macros": { |
theotherjimmy |
43:2a7da56ebd24 | 17 | "$ref": "definitions.json#/macro_definition" |
theotherjimmy |
43:2a7da56ebd24 | 18 | } |
theotherjimmy |
43:2a7da56ebd24 | 19 | }, |
theotherjimmy |
43:2a7da56ebd24 | 20 | "required": [ |
theotherjimmy |
43:2a7da56ebd24 | 21 | "name" |
theotherjimmy |
43:2a7da56ebd24 | 22 | ], |
theotherjimmy |
43:2a7da56ebd24 | 23 | "additionalProperties": false |
theotherjimmy |
43:2a7da56ebd24 | 24 | } |