Created attachment 195347 [details]
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.
Created attachment 195355 [details]
Created attachment 195356 [details]
A commit references this bug:
Date: Tue Jul 24 21:03:50 UTC 2018
New revision: 475278
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.
Approved by: portmgr
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.
> 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)