diff options
Diffstat (limited to 'math/py-pysmt/Makefile')
| -rw-r--r-- | math/py-pysmt/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/py-pysmt/Makefile b/math/py-pysmt/Makefile index f77c7f539987..880eb10ea804 100644 --- a/math/py-pysmt/Makefile +++ b/math/py-pysmt/Makefile @@ -17,7 +17,7 @@ TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-nose@${PY_FLAVOR} \ z3>0:math/z3 \ cvc5>0:math/cvc5 # CVC4 was replaced with CVC5 - tests are now broken untile this is resolved: https://github.com/pysmt/pysmt/issues/744 -USES= python:3.5+ +USES= python USE_GITHUB= yes USE_PYTHON= autoplist concurrent distutils PYDISTUTILS_PKGNAME= PySMT |