Created attachment 195347 [details] patch Hi Gleb, The attached patch puts the python binding into a separate port. The benefit is that the binding can be built for different versions of python, and it actually builds for both py27 and py36. Additionally, the patch removes the CONFLICTS statement that isn't needed any longer. If you wouldn't like to maintain math/py-m3 — no problem, I can maintain it, I just copied your e-mail there from z3. I can commit it if you would like to, either way is okay for me. Thanks! Yuri
Created attachment 195355 [details] patch
Created attachment 195356 [details] patch
A commit references this bug: Author: yuri Date: Tue Jul 24 21:03:50 UTC 2018 New revision: 475278 URL: https://svnweb.freebsd.org/changeset/ports/475278 Log: math/z3: Fix the python binding to work for all python versions The python binding is removed from math/z3 and placed into a separate port math/mpy-z3-solver that builds for all python versions. While here, remove the unnecessary CONFLICTS statement. PR: 229937 Approved by: portmgr Changes: head/math/Makefile head/math/py-z3-solver/ head/math/py-z3-solver/Makefile head/math/py-z3-solver/distinfo head/math/py-z3-solver/files/ head/math/py-z3-solver/files/patch-setup.py head/math/py-z3-solver/pkg-descr head/math/z3/Makefile head/math/z3/pkg-plist
Committed.
Maintainer timeout is 14 days, IIRC. Do not hurry next time. Why did you choose py-z3-solver as PORTNAME? Why not py-z3?
(In reply to Gleb Popov from comment #5) > Maintainer timeout is 14 days, IIRC. Do not hurry next time. Ok, sorry! > Why did you choose py-z3-solver as PORTNAME? Why not py-z3? Arch linux has py-z3-solver.
But it is FreeBSD and main port is called z3, so I find it counter-intuitive to have bindings called z3-solver. Could you please rename the port?
(In reply to Gleb Popov from comment #7) Done!