Sign in
llvm
/
llvm-project
/
mlir
/
fef5cf37471ebf37298672fbcf01c0f704ba1e58
/
.
/
lib
/
Target
/
SMTLIB
/
CMakeLists.txt
blob: 4f47bef8e26cee6d643ada8405e008f62a340a13 [
file
]
add_mlir_translation_library(MLIRExportSMTLIB
ExportSMTLIB.cpp
LINK_COMPONENTS
Core
LINK_LIBS PUBLIC
MLIRArithDialect
MLIRFuncDialect
MLIRIR
MLIRSMT
MLIRSupport
MLIRTranslateLib
)
