From 4001ec807e7b702fd56d7202eb8786102e3bf47a Mon Sep 17 00:00:00 2001 From: Will Dietz Date: Mon, 12 Feb 2024 13:31:46 -0600 Subject: [PATCH] Make circt-verilog available to integration tests. (#6685) --- integration_test/lit.cfg.py | 5 +++++ integration_test/lit.site.cfg.py.in | 1 + 2 files changed, 6 insertions(+) diff --git a/integration_test/lit.cfg.py b/integration_test/lit.cfg.py index 07d93ae6b538..bd9a28e2982f 100644 --- a/integration_test/lit.cfg.py +++ b/integration_test/lit.cfg.py @@ -206,6 +206,11 @@ config.available_features.add('circt-lec') tools.append('circt-lec') +# Add circt-verilog if the Slang frontend is enabled. +if config.slang_frontend_enabled: + config.available_features.add('slang') + tools.append('circt-verilog') + config.substitutions.append(('%driver', f'{config.driver}')) llvm_config.add_tool_substitutions(tools, tool_dirs) diff --git a/integration_test/lit.site.cfg.py.in b/integration_test/lit.site.cfg.py.in index 794944daa16a..835235f22f60 100644 --- a/integration_test/lit.site.cfg.py.in +++ b/integration_test/lit.site.cfg.py.in @@ -55,6 +55,7 @@ config.esi_collateral_path = "@ESI_COLLATERAL_PATH@" config.bindings_python_enabled = @CIRCT_BINDINGS_PYTHON_ENABLED@ config.bindings_tcl_enabled = @CIRCT_BINDINGS_TCL_ENABLED@ config.lec_enabled = "@CIRCT_LEC_ENABLED@" +config.slang_frontend_enabled = "@CIRCT_SLANG_FRONTEND_ENABLED@" config.driver = "@CIRCT_SOURCE_DIR@/tools/circt-rtl-sim/driver.cpp" # Support substitution of the tools_dir with user parameters. This is