Sign in Sign up
brintos

brintos / llvm-project-archived public Read only

0
0
Fork 0
Text · 202 B · 4f47bef Raw
15 lines · plain
1add_mlir_translation_library(MLIRExportSMTLIB2  ExportSMTLIB.cpp3 4  LINK_COMPONENTS5  Core6 7  LINK_LIBS PUBLIC8  MLIRArithDialect9  MLIRFuncDialect10  MLIRIR11  MLIRSMT12  MLIRSupport13  MLIRTranslateLib14)15