[Mlir-commits] [mlir] d903f6b - [mlir][SMT] fix MLIRExportSMTLIB by linking MLIRArithDialect

[Maksim Levental]

Author: Maksim Levental
Date: 2025-04-12T17:08:57-04:00
New Revision: d903f6b672cb7ebb162e3ef98f483e79b180a413

URL: https://github.com/llvm/llvm-project/commit/d903f6b672cb7ebb162e3ef98f483e79b180a413
DIFF: https://github.com/llvm/llvm-project/commit/d903f6b672cb7ebb162e3ef98f483e79b180a413.diff

LOG: [mlir][SMT] fix MLIRExportSMTLIB by linking MLIRArithDialect

Added: 
    

Modified: 
    mlir/lib/Target/SMTLIB/CMakeLists.txt

Removed: 
    


################################################################################
diff  --git a/mlir/lib/Target/SMTLIB/CMakeLists.txt b/mlir/lib/Target/SMTLIB/CMakeLists.txt
index 1fd965551ae47..4f47bef8e26ce 100644
--- a/mlir/lib/Target/SMTLIB/CMakeLists.txt
+++ b/mlir/lib/Target/SMTLIB/CMakeLists.txt
@@ -5,9 +5,10 @@ add_mlir_translation_library(MLIRExportSMTLIB
   Core
 
   LINK_LIBS PUBLIC
-  MLIRSMT
-  MLIRSupport
+  MLIRArithDialect
   MLIRFuncDialect
   MLIRIR
+  MLIRSMT
+  MLIRSupport
   MLIRTranslateLib
 )