diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index 2e3dfeb82b2c..d54ccebd7adb 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.7.1 +DISTVERSION= 5.8.0 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org @@ -12,7 +12,8 @@ LICENSE_COMB= multi LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt LICENSE_FILE_MIT= ${WRKSRC}/LICENSE.txt -LIB_DEPENDS= libboost_program_options.so:devel/boost-libs +LIB_DEPENDS= libm4ri.so:math/m4ri \ + libboost_program_options.so:devel/boost-libs USES= cmake compiler:c++11-lib USE_LDCONFIG= yes @@ -20,7 +21,6 @@ USE_LDCONFIG= yes USE_GITHUB= yes GH_ACCOUNT= msoos -CMAKE_ON= NOM4RI CMAKE_OFF= ENABLE_PYTHON_INTERFACE .include diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index 6d1ca6b96068..4a418bdbf798 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1594302622 -SHA256 (msoos-cryptominisat-5.7.1_GH0.tar.gz) = d09f118a3d4392e3352a6285f600a5897e301b186a764404a37a911f4d91528e -SIZE (msoos-cryptominisat-5.7.1_GH0.tar.gz) = 882748 +TIMESTAMP = 1603118756 +SHA256 (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 50153025c8503ef32f32fff847ee24871bb0fc1f0b13e17fe01aa762923f6d94 +SIZE (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 943785 diff --git a/math/cryptominisat/pkg-plist b/math/cryptominisat/pkg-plist index 58fd28f62e71..be1e6ccdc47b 100644 --- a/math/cryptominisat/pkg-plist +++ b/math/cryptominisat/pkg-plist @@ -9,4 +9,4 @@ lib/cmake/cryptominisat5/cryptominisat5Config.cmake lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/cryptominisat5/cryptominisat5Targets.cmake lib/libcryptominisat5.so -lib/libcryptominisat5.so.5.7 +lib/libcryptominisat5.so.5.8 diff --git a/math/py-cryptominisat/Makefile b/math/py-cryptominisat/Makefile index d6b4f6e245fd..5ecd85c1cd1a 100644 --- a/math/py-cryptominisat/Makefile +++ b/math/py-cryptominisat/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.7.1 +DISTVERSION= 5.8.0 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/py-cryptominisat/distinfo b/math/py-cryptominisat/distinfo index 85f7111ec433..c49eb7f98c01 100644 --- a/math/py-cryptominisat/distinfo +++ b/math/py-cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1594302755 -SHA256 (msoos-cryptominisat-5.7.1_GH0.tar.gz) = d09f118a3d4392e3352a6285f600a5897e301b186a764404a37a911f4d91528e -SIZE (msoos-cryptominisat-5.7.1_GH0.tar.gz) = 882748 +TIMESTAMP = 1603119332 +SHA256 (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 50153025c8503ef32f32fff847ee24871bb0fc1f0b13e17fe01aa762923f6d94 +SIZE (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 943785