Clone of official tools

config/schema_lib.json

Committer:
theotherjimmy
Date:
2018-09-25
Revision:
43:2a7da56ebd24

File content as of revision 43:2a7da56ebd24:

{
  "$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
}