[Mlir-commits] [mlir] [MLIR][SMTLIB][CAPI] add mlir-capi-smtlib-test to MLIR_TEST_DEPENDS (PR #158521)
Maksim Levental
llvmlistbot at llvm.org
Sun Sep 14 17:56:15 PDT 2025
https://github.com/makslevental created https://github.com/llvm/llvm-project/pull/158521
`mlir-capi-smtlib-test` is missing from `MLIR_TEST_DEPENDS`
>From 52caef8417bc5b1cd8f63930eefb6405370ad2c1 Mon Sep 17 00:00:00 2001
From: Maksim Levental <maksim.levental at gmail.com>
Date: Sun, 14 Sep 2025 20:55:36 -0400
Subject: [PATCH] [MLIR][SMTLIB][CAPI] add mlir-capi-smtlib-test to
MLIR_TEST_DEPENDS
---
mlir/test/CMakeLists.txt | 1 +
1 file changed, 1 insertion(+)
diff --git a/mlir/test/CMakeLists.txt b/mlir/test/CMakeLists.txt
index 628adcfb6e285..877ee684f59c4 100644
--- a/mlir/test/CMakeLists.txt
+++ b/mlir/test/CMakeLists.txt
@@ -107,6 +107,7 @@ set(MLIR_TEST_DEPENDS
mlir-capi-quant-test
mlir-capi-rewrite-test
mlir-capi-smt-test
+ mlir-capi-smtlib-test
mlir-capi-sparse-tensor-test
mlir-capi-transform-test
mlir-capi-transform-interpreter-test
More information about the Mlir-commits
mailing list