openbsd-baikal
/
openbsd-ports
mirror of https://github.com/openbsd/ports
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

remove obsolete RDEP on py-six

master
sthen 2023-02-25 11:09:17 +00:00
parent cb343b8649
commit 86b2fa6fbe
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
math/py-pysmt/Makefile
View File

@ -3,6 +3,7 @@ COMMENT = library for SMT formulae manipulation and solving
MODPY_EGG_VERSION = 0.9.5
DISTNAME = PySMT-${MODPY_EGG_VERSION}
PKGNAME = py-${DISTNAME}
REVISION = 0
CATEGORIES = math
@ -23,11 +24,6 @@ FLAVOR = python3
# solvers. That would beat the point of this library.
# Currently supported and ported is math/z3.
# Not needed as of version 0.9.5, but devel/angr/py-claripy
# still depends on it being there at run time. We can likely
# shuffle things around following an update of angr.
RUN_DEPENDS = devel/py-six${MODPY_FLAVOR}
# added for tests
PORTHOME = ${WRKDIR}