Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#55622 - [z3] Should install python3 bindings instead of python 2
Attached to Project:
Community Packages
Opened by Asger Hautop Drewsen (tyilo) - Wednesday, 13 September 2017, 16:18 GMT
Last edited by Levente Polyak (anthraxx) - Thursday, 10 May 2018, 20:39 GMT
Opened by Asger Hautop Drewsen (tyilo) - Wednesday, 13 September 2017, 16:18 GMT
Last edited by Levente Polyak (anthraxx) - Thursday, 10 May 2018, 20:39 GMT
|
DetailsDescription:
When installing the z3 package, by default python2 bindings are also installed. Shouldn't we install python3 bindings by default instead of python2? Additional info: * Package version: 4.5.0-4 Steps to reproduce: * Install z3 * `python2 -c 'import z3'` works * `python -c 'import z3'` doesn't work To fix this issue is as simple as just changing `python2 scripts/mk_make.py --python # --dotnet --java --ml` to `python scripts/mk_make.py --python # --dotnet --java --ml` in PKGBUILD |
This task depends upon
Closed by Levente Polyak (anthraxx)
Thursday, 10 May 2018, 20:39 GMT
Reason for closing: Implemented
Additional comments about closing: 4.6.0-2
Thursday, 10 May 2018, 20:39 GMT
Reason for closing: Implemented
Additional comments about closing: 4.6.0-2
Comment by Asger Hautop Drewsen (tyilo) -
Saturday, 21 October 2017, 21:09 GMT
Bump?
Comment by Levente Polyak (anthraxx) -
Saturday, 21 October 2017, 22:44 GMT
actually it should be split to provide a library plus python2 and python3 bindings