Skip to content

Commit

Permalink
add support for ccache build with cmake (flow fix)
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed Sep 26, 2024
1 parent 8a6574f commit 1587b20
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion seal5/flow.py
Original file line number Diff line number Diff line change
Expand Up @@ -492,7 +492,7 @@ def glob_helper(file):
# TODO: only allow single instr set for now and track inputs in settings
logger.info("Completed load of Seal5 inputs")

def build(self, config=None, target="all", verbose: bool = False):
def build(self, config=None, target="all", verbose: bool = False, **kwargs):
"""Build Seal5 LLVM."""
del verbose # unused
logger.info("Building Seal5 LLVM (%s)", target)
Expand Down

0 comments on commit 1587b20

Please sign in to comment.