[Bug 229937] math/z3: Split out python binding into a separate port

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=229937

            Bug ID: 229937
           Summary: math/z3: Split out python binding into a separate port
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: arrowd at FreeBSD.org
          Reporter: yuri at freebsd.org
          Assignee: arrowd at FreeBSD.org
             Flags: maintainer-feedback?(arrowd at FreeBSD.org)

Created attachment 195347
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=195347&action=edit
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

-- 
You are receiving this mail because:
You are the assignee for the bug.