-
Notifications
You must be signed in to change notification settings - Fork 1.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Z3 does not build by default on ubuntu 24.04 #25807
Comments
I see. Let me check if z3 (not ocaml-z3) itself works well on Python 3.12 otherwises we can probably require a Python prior to 3.12. |
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 I guess |
I don't think |
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: