Community Packages

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!
Tasklist

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
Task Type Feature Request
Category Packages
Status Closed
Assigned To Felix Yan (felixonmars)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 2
Private No

Details

Description:
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
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

Loading...