[Mlir-commits] [mlir] 4d84d3d - [mlir][python][smt] fix DialectSMT (include NanobindUtils.h)

[Maksim Levental]

Author: Maksim Levental
Date: 2025-04-17T01:31:19-04:00
New Revision: 4d84d3dfba38ee4151350ef2ec8c1d92ba8f6d36

URL: https://github.com/llvm/llvm-project/commit/4d84d3dfba38ee4151350ef2ec8c1d92ba8f6d36
DIFF: https://github.com/llvm/llvm-project/commit/4d84d3dfba38ee4151350ef2ec8c1d92ba8f6d36.diff

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

Added: 
    

Modified: 
    mlir/python/CMakeLists.txt

Removed: 
    


################################################################################
diff  --git a/mlir/python/CMakeLists.txt b/mlir/python/CMakeLists.txt
index bbf6819608bb9..e3934fc9f3511 100644
--- 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