tlopex opened a new pull request, #19911:
URL: https://github.com/apache/tvm/pull/19911
This pr switches CI to the Ubuntu 24.04 (noble) images. Bump ci_tag in
ci/jenkins/docker-images.ini to 20260629-192919-24bbfd2e -- the images built
from #19893 (ci_cpu/ci_arm/ci_wasm/ci_gpu on Ubuntu 24.04, whose default g++ is
gcc-13, giving full C++20 support).
Also, this pr re-enables Z3 (AUTO). #19828 temporarily set USE_Z3=OFF (in
CMakeLists.txt and the pyproject wheel build) to dodge a z3-static build
failure. The CI image now ships z3-static (#19835), so this restores
USE_Z3=AUTO: the Z3-backed Analyzer proving is enabled when z3-static is
available and silently skipped otherwise.
While Z3 stayed disabled, PrimExprNode::ty became a method, leaving two
stale field accesses in z3_prover.cc's IsZ3SupportedExpr (only compiled under
TVM_USE_Z3). Fixed expr->ty -> expr->ty().
Verification:
- The Ubuntu 24.04 images (#19893) built successfully for ci_cpu/ci_arm/
ci_wasm/ci_gpu (the GPU image includes ROCm 6.4.4 and the CUDA 24.04 base).
- Re-enabling Z3 was validated with a build-only wheel run: all four wheels
(Linux x86_64/aarch64 manylinux_2_28, macOS arm64, Windows) build green with
z3-static compiled and linked, confirming the earlier z3-static link concern is
resolved on the current toolchain.
--
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]
