[llvm] [mlir][SMT] update Bazel configuration to match 697aa99 (PR #136616)

[via llvm-commits]

https://github.com/lexi-nadia created https://github.com/llvm/llvm-project/pull/136616

Update Bazel configuration to match 697aa9995c24a977425e672d76a4a434384b16e3.

>From 9d1364a4c438264ce87836d1b94d31dd3748bf11 Mon Sep 17 00:00:00 2001
From: Lexi Bromfield <lexinadia at google.com>
Date: Mon, 21 Apr 2025 21:17:34 +0000
Subject: [PATCH] [mlir][SMT] update Bazel configuration to match
 697aa9995c24a977425e672d76a4a434384b16e3

---
 .../mlir/python/BUILD.bazel                   | 47 +++++++++++++++++++
 1 file changed, 47 insertions(+)

diff --git a/utils/bazel/llvm-project-overlay/mlir/python/BUILD.bazel b/utils/bazel/llvm-project-overlay/mlir/python/BUILD.bazel
index b4fc353500bb8..3904da8c90c30 100644
--- a/utils/bazel/llvm-project-overlay/mlir/python/BUILD.bazel
+++ b/utils/bazel/llvm-project-overlay/mlir/python/BUILD.bazel
@@ -1112,6 +1112,53 @@ filegroup(
     ],
 )
 
+##---------------------------------------------------------------------------##
+# SMT dialect.
+##---------------------------------------------------------------------------##
+
+td_library(
+    name = "SMTOpsPyTdFiles",
+    srcs = [],
+    includes = ["../include"],
+    deps = [
+        "//mlir:SMTTdFiles",
+        "//mlir:OpBaseTdFiles",
+    ],
+)
+
+gentbl_filegroup(
+    name = "SMTOpsPyGen",
+    tbl_outs = [
+        (
+            [
+                "-gen-python-enum-bindings",
+                "-bind-dialect=smt",
+            ],
+            "mlir/dialects/_smt_enum_gen.py",
+        ),
+        (
+            [
+                "-gen-python-op-bindings",
+                "-bind-dialect=smt",
+            ],
+            "mlir/dialects/_smt_ops_gen.py",
+        ),
+    ],
+    tblgen = "//mlir:mlir-tblgen",
+    td_file = "mlir/dialects/SMTOps.td",
+    deps = [
+        ":SMTOpsPyTdFiles",
+    ],
+)
+
+filegroup(
+    name = "SMTOpsPyFiles",
+    srcs = [
+        "mlir/dialects/smt.py",
+        ":SMTOpsPyGen",
+    ],
+)
+
 ##---------------------------------------------------------------------------##
 # SparseTensor dialect.
 ##---------------------------------------------------------------------------##