diff --git a/parse.py b/parse.py index 17cd5a2f..72af94d0 100755 --- a/parse.py +++ b/parse.py @@ -1199,13 +1199,23 @@ def signed(value, width): print(f"Running with args : {sys.argv}") extensions = sys.argv[1:] - for i in ["-c", "-latex", "-chisel", "-sverilog", "-rust", "-go", "-spinalhdl"]: + for i in [ + "-c", + "-chisel", + "-go", + "-latex", + "-pseudo", + "-rust", + "-spinalhdl", + "-sverilog", + ]: if i in extensions: extensions.remove(i) print(f"Extensions selected : {extensions}") include_pseudo = False - if "-go" in sys.argv[1:]: + + if "-pseudo" in sys.argv[1:]: include_pseudo = True instr_dict = create_inst_dict(extensions, include_pseudo)