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

Author: chsigg

utils/bazel/llvm-project-overlay/mlir/BUILD.bazel

@@ -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",
     ],
 )