10 def run(output_dir, input_filename, s):
15 if "version" in s["Option"]:
16 v = s["Option"]["version"]
17 (major, minor, patch) = v.split(".")
18 j["_version"] = {"major": major, "minor": minor, "patch": patch}
20 j[t.name] = {"crc": f"{t.crc:#08x}", "version": major, "options": t.options}
21 return json.dumps(j, indent=4, separators=(",", ": "))