[mlir][python][smt] fix DialectSMT (include NanobindUtils.h)

makslevental · makslevental · commit 4d84d3dfba38 · 2025-04-17T01:31:19.000-04:00
diff --git a/mlir/python/CMakeLists.txt b/mlir/python/CMakeLists.txt
@@ -680,6 +680,8 @@ declare_mlir_python_extension(MLIRPythonExtension.Dialects.SMT.Pybind
   PYTHON_BINDINGS_LIBRARY nanobind
   SOURCES
     DialectSMT.cpp
+    # Headers must be included explicitly so they are installed.
+    NanobindUtils.h
   PRIVATE_LINK_LIBS
     LLVMSupport
   EMBED_CAPI_LINK_LIBS
