Ubospica opened a new pull request, #20084: URL: https://github.com/apache/tvm/pull/20084
## Summary [mlc-ai/package#110](https://github.com/mlc-ai/package/pull/110) folded the `z3-static` wheel into `mlc-z3-static` (import module `mlc_z3_static`; versions restart at 4.16.0 without the `.post1` suffix). This PR points TVM's Z3 toolchain references at the new package: - `cmake/modules/contrib/Z3.cmake` probes `mlc_z3_static.config` first and keeps the legacy `z3_static.config` probe as a fallback, so existing environments and the current CI images keep working during the transition. - The `pyproject.toml` build requirement becomes `mlc-z3-static>=4.16.0`. - The CI docker image installs `mlc-z3-static==4.16.0`. Note: `mlc-z3-static` is not on PyPI yet. This PR should land only after the wheel is published; the CMake fallback keeps current CI images working, but docker image rebuilds and `pyproject.toml`-based wheel builds need the package on PyPI. ## Verification Since the wheel is not yet on PyPI, it was built locally from mlc-ai/package `main` (`254413e`, the #110 merge commit) and its bundled smoke test passed (static and shared consumers compile, link, and solve). - With both `mlc_z3_static` and legacy `z3_static` installed, `USE_Z3=ON` auto-detection links `mlc_z3_static/static/lib/libz3.a` (new package preferred). - With only the legacy `z3-static` package installed, the fallback probe still finds it. - Full build against the new package: Z3 statically linked into `libtvm_compiler.so`, no runtime `libz3` dependency (`ldd`). - `tests/python/arith/test_arith_z3.py`: 52 passed. - Full `tests/python/arith/` suite on the same toolchain: 1034 passed, 2 skipped, 26 xfailed. - `bash -n` on the docker install script passes. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
