[mlir][bazel] Port mlir-translate bits of acf964b95f54.

This commit is contained in:
Christian Sigg 2025-04-13 09:12:29 +02:00
parent d6e2aee9b1
commit 12a7155ee2

View File

@ -6410,6 +6410,22 @@ cc_library(
],
)
cc_library(
name = "TargetSMTLIB",
srcs = ["lib/Target/SMTLIB/ExportSMTLIB.cpp"],
hdrs = glob(["include/mlir/Target/SMTLIB/*.h"]),
includes = ["include"],
deps = [
":ArithUtils",
":FuncDialect",
":IR",
":SMTDialect",
":Support",
":TranslateLib",
"//llvm:Support",
],
)
td_library(
name = "SPIRVImageInterfacesTdFiles",
srcs = ["include/mlir/Dialect/SPIRV/Interfaces/SPIRVImageInterfaces.td"],
@ -8689,6 +8705,7 @@ cc_library(
":FromLLVMIRTranslationRegistration",
":SPIRVTranslateRegistration",
":TargetCpp",
":TargetSMTLIB",
":ToLLVMIRTranslationRegistration",
],
)