Clone of official tools
Diff: config/schema_app.json
- Revision:
- 43:2a7da56ebd24
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/config/schema_app.json Tue Sep 25 13:43:09 2018 -0500 @@ -0,0 +1,24 @@ +{ + "$schema": "http://json-schema.org/draft-06/schema#", + "title": "Mbed Library Schema", + "description": "Configuration file for an mbed application", + "type": "object", + "properties": { + "name": { + "$ref": "definitions.json#/name_definition" + }, + "config": { + "$ref": "definitions.json#/config_definition" + }, + "target_overrides": { + "$ref": "definitions.json#/target_overrides_definition" + }, + "macros": { + "$ref": "definitions.json#/macro_definition" + }, + "artifact_name": { + "type": "string" + } + }, + "additionalProperties": false +}