You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I tried to install z3 with opam on ubuntu 24.04, which fails with the following error message
opam install z3.4.13.0
[ERROR] Package z3.4.13.0 depends on the unavailable system package
'python3-distutils'. You can use `--no-depexts' to attempt installation
anyway.
It seems that z3 relies on the dependency distutils that is no longer available by default in Python 3.12 and above, as in ubuntu 24.04.
Consequently preventing the automatic installation of z3 by opam.
(I was asked to report this issue after discussions on the coq zulip)
The text was updated successfully, but these errors were encountered:
thomas-lamiaux
changed the title
Z3 do not build by default on ubuntu 24.04
Z3 does not build by default on ubuntu 24.04
May 7, 2024
I found the z3.4.13.0 on homebrew at macos just works fine with Python 3.12. I also tried it on my mac and it obviously has no distutils.
I guess distutils is not necessary for z3 itself on other distros, so it should be safely to remove it. Let me try making a new z3 opamfile and test it on my ubuntu box later.
I don't think distutil is really used in z3 anymore (asking for confirmation with this issue Z3Prover/z3#7228). Let me just make a new opam by removing this.
I tried to install z3 with opam on ubuntu 24.04, which fails with the following error message
It seems that z3 relies on the dependency distutils that is no longer available by default in Python 3.12 and above, as in ubuntu 24.04.
Consequently preventing the automatic installation of z3 by opam.
(I was asked to report this issue after discussions on the coq zulip)
The text was updated successfully, but these errors were encountered: