This is an automated email from the ASF dual-hosted git repository.
tqchen pushed a commit to branch manylinux-ci-836
in repository https://gitbox.apache.org/repos/asf/tvm-tirx.git
The following commit(s) were added to refs/heads/manylinux-ci-836 by this push:
new 89916b44e [BUILD] Use the current LLVM and Z3 SDK releases
89916b44e is described below
commit 89916b44e3a3d822d2d46cf4328de8b1a8fa52f7
Author: Tianqi Chen <[email protected]>
AuthorDate: Mon Oct 26 01:50:46 2026 +0000
[BUILD] Use the current LLVM and Z3 SDK releases
---
pyproject.toml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/pyproject.toml b/pyproject.toml
index 76bcf3c33..6f67b40d6 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -64,8 +64,8 @@ build = [
"scikit-build-core>=0.11,!=1.1.0",
"setuptools-scm>=8",
"cython>=3.2.8",
- "mlc-llvm-static[all]==23.1.1",
- "mlc-z3-static==5.3.1.post0",
+ "mlc-llvm-static[all]==23.1.1.post0",
+ "mlc-z3-static==5.3.1.post1",
]
torch = [
"torch",
@@ -102,8 +102,8 @@ tvm-tirx-config = "tvm_tirx.config:__main__"
# Static development SDKs are build requirements, not runtime dependencies.
requires = [
"scikit-build-core>=0.11",
- "mlc-llvm-static[all]==23.1.1",
- "mlc-z3-static==5.3.1.post0",
+ "mlc-llvm-static[all]==23.1.1.post0",
+ "mlc-z3-static==5.3.1.post1",
]
build-backend = "scikit_build_core.build"
