Summary

pip install -e . on Linux aarch64 will fall back to source build (and likely fail) on systems with glibc older than 2.38, because z3-solver's wheel for this architecture is tagged manylinux_2_38_aarch64. This excludes Ubuntu 22.04 LTS aarch64 (glibc 2.35), which is still a widely-deployed long-term-support distribution.

Detection

Discovered during platform-support analysis arising from #691 (the macOS 14 install regression). z3-solver's PyPI wheels for Linux aarch64 are tagged:

• 4.13.x – 4.15.4: manylinux_2_34_aarch64 (requires glibc 2.34+) — covers Ubuntu 22.04 LTS aarch64 (glibc 2.35) ✓
• 4.15.5+: manylinux_2_38_aarch64 (requires glibc 2.38+) — Ubuntu 23.10 / 24.04+ only ✗ on 22.04

The z3-solver pin tightening that lands alongside this issue (>=4.15.5 to express macOS 15+ baseline structurally) also forecloses Ubuntu 22.04 LTS aarch64 as a side effect. Both are downstream of the same upstream platform-tag bump.

Workarounds

For users on Ubuntu 22.04 LTS aarch64 who want to run Vera:

1. Upgrade to Ubuntu 24.04 LTS (recommended — glibc 2.39)
2. Use a Docker image based on Ubuntu 23.10+ or Debian 12+
3. Build z3-solver from source with a newer GCC (≥10) and libstdc++

Related

• Install fails on macOS arm64 with Apple Clang 15: z3-solver==4.16.0.0 has no prebuilt wheel + source build hits std::format #691 — macOS 14 install regression (same kind of platform-scope decision)
• Companion issue: Add ubuntu-24.04-arm to CI matrix to actually test Linux aarch64 #702 — add ubuntu-24.04-arm to CI matrix so this class of platform regression isn't masked from CI in the future