Anders Blomdell
Clone of official tools
Diff: config/schema_lib.json
- Revision:
- 43:2a7da56ebd24
diff -r 2cf3f29fece1 -r 2a7da56ebd24 config/schema_lib.json
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/config/schema_lib.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 library",
+ "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"
+ }
+ },
+ "required": [
+ "name"
+ ],
+ "additionalProperties": false
+}