Automerge: [MLIR] Fix build after #131492 (#135502)

jplehr · github-actions[bot] · commit dc4855407dc5 · 2025-04-12T21:42:55.000Z
After #131492 is appears that linking MLIRAritDialect was missing.
diff --git a/mlir/lib/Target/SMTLIB/CMakeLists.txt b/mlir/lib/Target/SMTLIB/CMakeLists.txt
@@ -11,4 +11,5 @@ add_mlir_translation_library(MLIRExportSMTLIB
   MLIRSMT
   MLIRSupport
   MLIRTranslateLib
+  MLIRArithDialect
 )

Original file line number	Diff line number	Diff line change
`@@ -11,4 +11,5 @@ add_mlir_translation_library(MLIRExportSMTLIB`
`11`	`11`	`MLIRSMT`
`12`	`12`	`MLIRSupport`
`13`	`13`	`MLIRTranslateLib`
	`14`	`+ MLIRArithDialect`
`14`	`15`	`)`