From 7a07ffbc8b5a06cef0220e6630cad815532f6ee0 Mon Sep 17 00:00:00 2001
From: unlsycn <unlsycn@unlsycn.com>
Date: Sun, 24 Nov 2024 14:56:56 +0000
Subject: [PATCH] [circt-test] fix lit config for circt-bmc

Signed-off-by: unlsycn <unlsycn@unlsycn.com>
---
 integration_test/circt-test/basic-circt-bmc.mlir | 2 +-
 integration_test/lit.cfg.py                      | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/integration_test/circt-test/basic-circt-bmc.mlir b/integration_test/circt-test/basic-circt-bmc.mlir
index cfc991ad0211..948a419b525d 100644
--- a/integration_test/circt-test/basic-circt-bmc.mlir
+++ b/integration_test/circt-test/basic-circt-bmc.mlir
@@ -1,3 +1,3 @@
-// RUN: env Z3LIB=%libz3 not circt-test %S/basic.mlir -r circt-test-runner-circt-bmc.py --mlir-runner 2>&1 | FileCheck %S/basic.mlir
+// RUN: env Z3LIB=%libz3 PATH=%circt-tools-dir:$PATH not circt-test %S/basic.mlir -r circt-test-runner-circt-bmc.py --mlir-runner 2>&1 | FileCheck %S/basic.mlir
 // REQUIRES: libz3
 // REQUIRES: circt-bmc-jit
diff --git a/integration_test/lit.cfg.py b/integration_test/lit.cfg.py
index 022607617c81..179fa9f68a68 100644
--- a/integration_test/lit.cfg.py
+++ b/integration_test/lit.cfg.py
@@ -80,7 +80,8 @@
 tools = [
     'arcilator', 'circt-opt', 'circt-translate', 'firtool', 'circt-rtl-sim.py',
     'equiv-rtl.sh', 'handshake-runner', 'hlstool', 'ibistool', 'circt-lec',
-    'circt-bmc', 'circt-test', 'circt-test-runner-sby.py'
+    '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