On Sun, 19 Feb 2023, Todd Carson wrote:
>
> Hi,
>
> The version of PySMT in ports is broken under Python 3.10 because it
> uses imports that were removed in Python 3.8.
>
> See: https://github.com/pysmt/pysmt/pull/562
>
> Updating to the most recent upstream version fixes it.
>
> Tested by using py3-angr, which depends on it.
>
I've committed this; many thanks.
I added a note about the fact that py-six does not seem to be needed as an
RDEP anymore, although to remove it here it would need to be added as an
RDEP to angr.
I've also added PORTHOME=${WRKDIR} to try to make the tests work slightly
better on my box.
