From 32e722dda55e0e37f8222eade012a6269c65f31e 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/circt-test/basic-circt-bmc.mlir | 2 +- integration_test/lit.cfg.py | 3 ++- 2 files changed, 3 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..a72c62a9412c 100644 --- a/integration_test/lit.cfg.py +++ b/integration_test/lit.cfg.py @@ -80,7 +80,7 @@ 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 +230,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