| commit | d903f6b672cb7ebb162e3ef98f483e79b180a413 | [log] [tgz] |
|---|---|---|
| author | Maksim Levental <maksim.levental@gmail.com> | Sat Apr 12 17:08:57 2025 -0400 |
| committer | Maksim Levental <maksim.levental@gmail.com> | Sat Apr 12 17:08:57 2025 -0400 |
| tree | ce1100ea5c4a87f621aaeedae6eb8d7d550399ff | |
| parent | f0dc236d3384e5d5dce2e39a8a3202325899eae5 [diff] |
[mlir][SMT] fix MLIRExportSMTLIB by linking MLIRArithDialect
diff --git a/mlir/lib/Target/SMTLIB/CMakeLists.txt b/mlir/lib/Target/SMTLIB/CMakeLists.txt index 1fd9655..4f47bef 100644 --- a/mlir/lib/Target/SMTLIB/CMakeLists.txt +++ b/mlir/lib/Target/SMTLIB/CMakeLists.txt
@@ -5,9 +5,10 @@ Core LINK_LIBS PUBLIC - MLIRSMT - MLIRSupport + MLIRArithDialect MLIRFuncDialect MLIRIR + MLIRSMT + MLIRSupport MLIRTranslateLib )