mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 14:04:07 +00:00
Code Activity

sby: core: updated the parsing to match the changes in PR #206

Browse source
This commit is contained in:
Aki Van Ness 2022-08-02 08:38:24 -04:00
parent e4a7f624c1
commit 2f841e5d55
No known key found for this signature in database
GPG key ID: C629E8EC06327BEE
1 changed files with 22 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

37
sbysrc/sby_core.py
View file

@ -290,6 +290,7 @@ class SbyConfig:
self.error(f"sby file syntax error: '[options]' section does not accept any arguments. got {args}")
continue
# [engines (MODE)]
if section == "engines":
mode = "engines"
if len(entries) > 2:
@ -306,30 +307,36 @@ class SbyConfig:
# self.error(f"Already defined engine block for mode '{entries[1]}'")
# [setup]
if entries[0] == "setup":
if section == "setup":
mode = "setup"
if len(self.setup) != 0 or len(entries) != 1:
self.error(f"sby file syntax error: {line}")
continue
if len(self.setup) != 0:
self.error(f"sby file syntax error: '[setup]' section already defined")
if args is not None:
self.error(f"sby file syntax error: '[setup]' section does not accept any arguments. got {args}")
# [stage <NAME> (PARENTS,...)]
if entries[0] == "stage":
if section == "stage":
mode = "stage"
if len(entries) > 3 or len(entries) < 2:
self.error(f"sby file syntax error: {line}")
if len(entries) == 2:
parent = None
if args is None:
self.error(f"sby file syntax error: '[stage]' section expects arguments, got none")
section_args = args.split(" ", maxsplit = 1)
if len(section_args) == 1:
parents = None
else:
parent = entries[2].split(',')
parents = list(map(lambda a: a.trim(), section_args[1].split(',')))
key = entries[1]
stage_name = section_args[0]
if key in self.stage:
self.error(f"stage {key} already defined")
if stage_name in self.stage:
self.error(f"stage {stage_name} already defined")
self.stage[key] = {
'parent': parent
self.stage[stage_name] = {
'parents': parents
}
continue