cpet
/
freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/py-pysmt: Test dependency changed to CVC5 

The project so far doesn't support CVC5.
This commit is contained in:
Yuri Victorovich 2023-01-04 03:30:40 -08:00
parent 410c0280b7
commit a41f63c03e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/py-pysmt/Makefile
View File

@ -15,7 +15,7 @@ RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}six>=0:devel/py-six@${PY_FLAVOR}
TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-nose@${PY_FLAVOR} \
${PYTHON_PKGNAMEPREFIX}z3-solver>0:math/py-z3-solver@${PY_FLAVOR} \
z3>0:math/z3 \
cvc4>0:math/cvc4
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+
USE_GITHUB= yes