This should make the python packaging compliant; and build from SLE12SP3 up TW; fails on 12SP2, which I did not yet look furhter into (it already fails in the devel prj there too)
This changes the Provides/Obsoletes from name-python to name-python3 on recent systems - that does not look intentional.
Another issue is that python3-z3 name conflicts with a different z3 package in pypi, so this one should really be python*-z3-solver going forward.
I had been working on fully converting it to singlespec and succeeded with a dual python2/python3 build for certain versions of cmake/ninja (partial installation did not work on older distros): https://build.opensuse.org/package/show/home:a_faerber:branches:devel:tools:statica/z3
I got stuck trying to get the z3-solver naming done with singlespec, before this submission caused conflicts.
This should make the python packaging compliant; and build from SLE12SP3 up TW; fails on 12SP2, which I did not yet look furhter into (it already fails in the devel prj there too)
This changes the Provides/Obsoletes from name-python to name-python3 on recent systems - that does not look intentional.
Another issue is that python3-z3 name conflicts with a different z3 package in pypi, so this one should really be python*-z3-solver going forward.
I had been working on fully converting it to singlespec and succeeded with a dual python2/python3 build for certain versions of cmake/ninja (partial installation did not work on older distros): https://build.opensuse.org/package/show/home:a_faerber:branches:devel:tools:statica/z3 I got stuck trying to get the z3-solver naming done with singlespec, before this submission caused conflicts.
https://github.com/openSUSE/python-rpm-macros/issues/15