Skip to content

Commit 316ecd1

Browse files
authored
Merge pull request #131 from ethdebug/require-compilation-id
Make compilation ID required
2 parents 2d569ff + 0bb719e commit 316ecd1

1 file changed

Lines changed: 4 additions & 3 deletions

File tree

‎schemas/materials/compilation.schema.yaml‎

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,9 @@ type: object
99
properties:
1010
id:
1111
description: |
12-
Compilation ID. Optional, but **should** be specified.
12+
Compilation ID
1313
14-
This value **must** be globally-unique and generated only from the
14+
This value **should** be globally-unique and generated only from the
1515
compiler inputs (settings, sources, etc.); the same compiler inputs/
1616
settings **should** produce the same identifier.
1717
@@ -75,7 +75,8 @@ required:
7575
- sources
7676

7777
examples:
78-
- compiler:
78+
- id: foo
79+
compiler:
7980
name: lllc
8081
version: 0.4.12-develop.2017.6.27+commit.b83f77e0.Linux.g++
8182
sources:

0 commit comments

Comments
 (0)