shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Maksim Levental 2025-04-17 01:31:19 -04:00
parent bc1725ef3a
commit 4d84d3dfba
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
mlir/python/CMakeLists.txt
View File

@ -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