diff --git a/math/py-cryptominisat/Makefile b/math/py-cryptominisat/Makefile index cc509ebbd504..308e296cb0ab 100644 --- a/math/py-cryptominisat/Makefile +++ b/math/py-cryptominisat/Makefile @@ -1,26 +1,28 @@ PORTNAME= cryptominisat -DISTVERSION= 5.11.4 +DISTVERSION= 5.11.11 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} MAINTAINER= arrowd@FreeBSD.org COMMENT= Bindings to CryptoMiniSat (a SAT solver) WWW= https://github.com/msoos/cryptominisat LICENSE= MIT LGPL21 LICENSE_COMB= multi LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt LICENSE_FILE_MIT= ${WRKSRC}/LICENSE.txt +BUILD_DEPENDS= ${PYTHON_PKGNAMEPREFIX}toml>0:textproc/py-toml@${PY_FLAVOR} LIB_DEPENDS= libcryptominisat5.so:math/cryptominisat +RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}toml>0:textproc/py-toml@${PY_FLAVOR} USES= compiler:c++11-lib python USE_PYTHON= autoplist distutils USE_GITHUB= yes GH_ACCOUNT= msoos post-install: ${STRIP_CMD} ${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}/pycryptosat*.so .include diff --git a/math/py-cryptominisat/distinfo b/math/py-cryptominisat/distinfo index f50c3c436244..6c4375276a38 100644 --- a/math/py-cryptominisat/distinfo +++ b/math/py-cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1665824399 -SHA256 (msoos-cryptominisat-5.11.4_GH0.tar.gz) = abeecb29a73e8566ae6e9afd229ec991d95b138985565b2378af95ef1ce1d317 -SIZE (msoos-cryptominisat-5.11.4_GH0.tar.gz) = 1044845 +TIMESTAMP = 1688217189 +SHA256 (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 20efedfab285293eb8c9804939b5298e43071489c8b09e135e118aec54f682bc +SIZE (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 1012869