diff options
| -rw-r--r-- | math/py-cryptominisat/Makefile | 20 | ||||
| -rw-r--r-- | math/py-cryptominisat/distinfo | 6 |
2 files changed, 6 insertions, 20 deletions
diff --git a/math/py-cryptominisat/Makefile b/math/py-cryptominisat/Makefile index c01656a377b1..5c92a5ffa44e 100644 --- a/math/py-cryptominisat/Makefile +++ b/math/py-cryptominisat/Makefile @@ -1,6 +1,5 @@ PORTNAME= cryptominisat -DISTVERSION= 5.8.0 -PORTREVISION= 1 +DISTVERSION= 5.11.4 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} @@ -10,8 +9,8 @@ WWW= https://github.com/msoos/cryptominisat LICENSE= MIT LGPL21 LICENSE_COMB= multi -LICENSE_FILE_LGPL21= ${WRKSRC}/../LICENSE.txt -LICENSE_FILE_MIT= ${WRKSRC}/../LICENSE.txt +LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt +LICENSE_FILE_MIT= ${WRKSRC}/LICENSE.txt LIB_DEPENDS= libcryptominisat5.so:math/cryptominisat @@ -21,19 +20,6 @@ USE_GITHUB= yes GH_ACCOUNT= msoos -WRKSRC_SUBDIR= python - -post-patch: - ${REINPLACE_CMD} -e 's|@PROJECT_VERSION@|${PORTVERSION}|' \ - -e 's|$${CMAKE_C_COMPILER}|${CC}|' \ - -e 's|$${CMAKE_CXX_COMPILER}|${CXX}|' \ - -e 's|$${PY_C_CONFIG}||' \ - -e 's|$${PY_LD_CONFIG}||' \ - -e 's|$${CMS_FULL_VERSION}|${PORTVERSION}|' \ - -e 's|$${APPLE}||' ${WRKSRC}/setup.py.in - ${CP} ${WRKSRC}/setup.py.in ${WRKSRC}/setup.py - ${CP} ${WRKSRC}/src/pycryptosat.cpp.in ${WRKSRC}/src/pycryptosat.cpp - post-install: ${STRIP_CMD} ${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}/pycryptosat*.so diff --git a/math/py-cryptominisat/distinfo b/math/py-cryptominisat/distinfo index c49eb7f98c01..f50c3c436244 100644 --- a/math/py-cryptominisat/distinfo +++ b/math/py-cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1603119332 -SHA256 (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 50153025c8503ef32f32fff847ee24871bb0fc1f0b13e17fe01aa762923f6d94 -SIZE (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 943785 +TIMESTAMP = 1665824399 +SHA256 (msoos-cryptominisat-5.11.4_GH0.tar.gz) = abeecb29a73e8566ae6e9afd229ec991d95b138985565b2378af95ef1ce1d317 +SIZE (msoos-cryptominisat-5.11.4_GH0.tar.gz) = 1044845 |