Skip to content

Commit

Permalink
run black linter
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed Aug 22, 2024
1 parent 9beb7ad commit b20d989
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion seal5/dependencies.py
Original file line number Diff line number Diff line change
Expand Up @@ -94,7 +94,12 @@ def __init__(self, clone_url="https://github.com/PhilippvK/M2-ISA-R-private.git"
super().__init__("m2isar", clone_url, ref=ref)


DEFAULT_CDSL2LLVM_DIRS = ["llvm/tools/pattern-gen", "llvm/lib/CodeGen", "llvm/include/llvm/CodeGen", "llvm/lib/Target/RISCV"]
DEFAULT_CDSL2LLVM_DIRS = [
"llvm/tools/pattern-gen",
"llvm/lib/CodeGen",
"llvm/include/llvm/CodeGen",
"llvm/lib/Target/RISCV",
]


class CDSL2LLVMDependency(GitDependency):
Expand Down

0 comments on commit b20d989

Please sign in to comment.