math/py-cryptominisat: Update to 5.11.4

This commit is contained in:
Gleb Popov 2022-10-15 18:48:17 +03:00
parent e836df42f7
commit 136715764e
2 changed files with 6 additions and 20 deletions

View File

@ -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

View File

@ -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