From c723acf28232158ecfb8d59992858936b9a8949c Mon Sep 17 00:00:00 2001 From: unlsycn Date: Sun, 24 Nov 2024 14:56:56 +0000 Subject: [PATCH] [circt-test] fix lit config for circt-bmc Signed-off-by: unlsycn --- integration_test/lit.cfg.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/integration_test/lit.cfg.py b/integration_test/lit.cfg.py index 371b3da3395f..179fa9f68a68 100644 --- a/integration_test/lit.cfg.py +++ b/integration_test/lit.cfg.py @@ -79,8 +79,9 @@ ] tools = [ 'arcilator', 'circt-opt', 'circt-translate', 'firtool', 'circt-rtl-sim.py', - 'equiv-rtl.sh', 'handshake-runner', 'hlstool', 'kanagawatool', 'circt-lec', - 'circt-bmc', 'circt-test', 'circt-test-runner-sby.py' + 'equiv-rtl.sh', 'handshake-runner', 'hlstool', 'ibistool', 'circt-lec', + 'circt-bmc', 'circt-test', 'circt-test-runner-sby.py', + 'circt-test-runner-circt-bmc.py' ] # Enable python if its path was configured @@ -230,6 +231,7 @@ config.available_features.add('arcilator-jit') config.substitutions.append(('%driver', f'{config.driver}')) +config.substitutions.append(('%circt-tools-dir', f'{config.circt_tools_dir}')) llvm_config.add_tool_substitutions(tools, tool_dirs) # cocotb availability