This is an automated email from the ASF dual-hosted git repository.
tqchen pushed a commit to branch pinned-build-sdks-835
in repository https://gitbox.apache.org/repos/asf/tvm-tirx.git
The following commit(s) were added to refs/heads/pinned-build-sdks-835 by this
push:
new a9c75425e [BUILD] Simplify SDK setup instructions
a9c75425e is described below
commit a9c75425ec8893c3eb593808e62dcc89f6b05ff3
Author: Tianqi Chen <[email protected]>
AuthorDate: Sat Oct 24 21:56:14 2026 +0000
[BUILD] Simplify SDK setup instructions
---
AGENTS.md | 5 +----
cmake/modules/contrib/Z3.cmake | 2 +-
cmake/utils/FindLLVM.cmake | 7 +++----
docs/dev/source_build.rst | 4 ++--
4 files changed, 7 insertions(+), 11 deletions(-)
diff --git a/AGENTS.md b/AGENTS.md
index 24cbe7d4c..dcef23599 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -55,9 +55,6 @@ the repository root; the default virtual environment is
`.venv`.
### Prerequisites
- Python 3.10+, a C++20 compiler, CMake 3.26+, and Ninja.
-- The pinned LLVM/Z3 static SDKs are installed as Python build dependencies.
- No Conda environment or system LLVM is needed; the LLVM SDK supports Linux
- x86_64/aarch64, Windows AMD64/ARM64, and macOS arm64 14+.
- Initialize dependencies: `git submodule update --init --recursive`.
- Install the relevant device SDK when enabling a device runtime.
@@ -86,7 +83,7 @@ runtimes such as Metal, ROCm, Vulkan, and OpenCL have their
own
### C++-only build
```bash
-uv pip install cmake ninja "mlc-llvm-static[all]==23.1.1"
"mlc-z3-static==5.3.1.post0"
+uv pip install cmake ninja "mlc-llvm-static[all]" "mlc-z3-static"
uv run --no-sync cmake -S . -B build_cpp -DCMAKE_BUILD_TYPE=RelWithDebInfo
uv run --no-sync cmake --build build_cpp --parallel --config RelWithDebInfo
--target tvm_tirx_compiler
```
diff --git a/cmake/modules/contrib/Z3.cmake b/cmake/modules/contrib/Z3.cmake
index d7e14e862..69fe81a62 100644
--- a/cmake/modules/contrib/Z3.cmake
+++ b/cmake/modules/contrib/Z3.cmake
@@ -85,7 +85,7 @@ else()
if(TVM_Z3_REQUIRED)
message(FATAL_ERROR
"TVM_TIRX_USE_Z3 is ON, but Z3 was not found. Install the static Z3
development "
- "package with `uv pip install 'mlc-z3-static==5.3.1.post0'`, or point "
+ "package with `uv pip install 'mlc-z3-static'`, or point "
"Z3_DIR/CMAKE_PREFIX_PATH at a Z3 installation.")
endif()
message(STATUS "Build without Z3 SMT solver support")
diff --git a/cmake/utils/FindLLVM.cmake b/cmake/utils/FindLLVM.cmake
index 5091af0df..efa7fa0e5 100644
--- a/cmake/utils/FindLLVM.cmake
+++ b/cmake/utils/FindLLVM.cmake
@@ -66,8 +66,7 @@ macro(find_llvm use_llvm)
endif()
if(${LLVM_CONFIG} MATCHES ${IS_TRUE_PATTERN})
- # Match Z3 discovery: prefer the build Python's static SDK unless an
- # explicit LLVM_DIR selects an external installation.
+ # Like Z3 discovery, preserve an explicit LLVM_DIR override.
if(NOT LLVM_DIR)
find_package(Python3 COMPONENTS Interpreter QUIET)
if(Python3_EXECUTABLE)
@@ -105,8 +104,8 @@ macro(find_llvm use_llvm)
find_package(LLVM ${llvm_version_required} QUIET CONFIG)
if(NOT LLVM_FOUND)
message(FATAL_ERROR
- "LLVM development files were not found. Install the pinned build SDK
with "
- "`uv pip install 'mlc-llvm-static[all]==23.1.1'`, or install LLVM 15
or newer, including "
+ "LLVM development files were not found. Install the build SDK with "
+ "`uv pip install 'mlc-llvm-static[all]'`, or install LLVM 15 or newer,
including "
"its development headers and libraries (for example, llvm-dev on
Debian/Ubuntu "
"or llvm-devel on Fedora). Set LLVM_DIR to the directory containing "
"LLVMConfig.cmake, add the LLVM installation to CMAKE_PREFIX_PATH, or
set "
diff --git a/docs/dev/source_build.rst b/docs/dev/source_build.rst
index 68ed1554e..896aae1bf 100644
--- a/docs/dev/source_build.rst
+++ b/docs/dev/source_build.rst
@@ -119,11 +119,11 @@ statically. No Conda environment or system LLVM
installation is needed:
uv build --wheel
For a direct CMake build or a build without Python build isolation, install the
-same SDK pins and build tools into the virtual environment first:
+SDKs and build tools into the virtual environment first:
.. code-block:: bash
- uv pip install cmake ninja "mlc-llvm-static[all]==23.1.1"
"mlc-z3-static==5.3.1.post0"
+ uv pip install cmake ninja "mlc-llvm-static[all]" "mlc-z3-static"
uv run --no-sync cmake -S . -B build_cpp -G Ninja -DCMAKE_BUILD_TYPE=Release
uv run --no-sync cmake --build build_cpp --parallel
