diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index 77292c44893c..78fd49b95299 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,25 +1,25 @@ PORTNAME= cryptominisat -DISTVERSION= 5.11.15 +DISTVERSION= 5.11.21 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org COMMENT= General-purpose award-winning 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 LIB_DEPENDS= libm4ri.so:math/m4ri \ libboost_program_options.so:devel/boost-libs USES= cmake compiler:c++11-lib USE_LDCONFIG= yes USE_GITHUB= yes GH_ACCOUNT= msoos CMAKE_OFF= ENABLE_PYTHON_INTERFACE .include diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index 0b600365a921..35deaca0eeb5 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1703881075 -SHA256 (msoos-cryptominisat-5.11.15_GH0.tar.gz) = b2ee17e7a5c6e6843420230215b6c70923b6955f3bef1e443c40555fc59510b0 -SIZE (msoos-cryptominisat-5.11.15_GH0.tar.gz) = 968163 +TIMESTAMP = 1707644489 +SHA256 (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 288fd53d801909af797c72023361a75af3229d1806dbc87a0fcda18f5e03763b +SIZE (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 975459 diff --git a/math/cryptominisat/pkg-plist b/math/cryptominisat/pkg-plist index 347ac79dd569..19bf75fa03ff 100644 --- a/math/cryptominisat/pkg-plist +++ b/math/cryptominisat/pkg-plist @@ -1,13 +1,12 @@ bin/cryptominisat5 -bin/cryptominisat5_simple include/cryptominisat5/cryptominisat.h include/cryptominisat5/cryptominisat_c.h include/cryptominisat5/dimacsparser.h include/cryptominisat5/solvertypesmini.h include/cryptominisat5/streambuffer.h lib/cmake/cryptominisat5/cryptominisat5Config.cmake lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/cryptominisat5/cryptominisat5Targets.cmake lib/libcryptominisat5.so lib/libcryptominisat5.so.5.11