svn commit: r552741 - in head/math: cryptominisat py-cryptominisat
Gleb Popov
arrowd at FreeBSD.org
Mon Oct 19 14:59:19 UTC 2020
Author: arrowd
Date: Mon Oct 19 14:59:18 2020
New Revision: 552741
URL: https://svnweb.freebsd.org/changeset/ports/552741
Log:
math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.
Enable M4RI functionality, thanks to thierry@ for adding the port.
Modified:
head/math/cryptominisat/Makefile
head/math/cryptominisat/distinfo
head/math/cryptominisat/pkg-plist
head/math/py-cryptominisat/Makefile
head/math/py-cryptominisat/distinfo
Modified: head/math/cryptominisat/Makefile
==============================================================================
--- head/math/cryptominisat/Makefile Mon Oct 19 14:36:33 2020 (r552740)
+++ head/math/cryptominisat/Makefile Mon Oct 19 14:59:18 2020 (r552741)
@@ -1,7 +1,7 @@
# $FreeBSD$
PORTNAME= cryptominisat
-DISTVERSION= 5.7.1
+DISTVERSION= 5.8.0
CATEGORIES= math
MAINTAINER= arrowd at 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 <bsd.port.mk>
Modified: head/math/cryptominisat/distinfo
==============================================================================
--- head/math/cryptominisat/distinfo Mon Oct 19 14:36:33 2020 (r552740)
+++ head/math/cryptominisat/distinfo Mon Oct 19 14:59:18 2020 (r552741)
@@ -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
Modified: head/math/cryptominisat/pkg-plist
==============================================================================
--- head/math/cryptominisat/pkg-plist Mon Oct 19 14:36:33 2020 (r552740)
+++ head/math/cryptominisat/pkg-plist Mon Oct 19 14:59:18 2020 (r552741)
@@ -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
Modified: head/math/py-cryptominisat/Makefile
==============================================================================
--- head/math/py-cryptominisat/Makefile Mon Oct 19 14:36:33 2020 (r552740)
+++ head/math/py-cryptominisat/Makefile Mon Oct 19 14:59:18 2020 (r552741)
@@ -1,7 +1,7 @@
# $FreeBSD$
PORTNAME= cryptominisat
-DISTVERSION= 5.7.1
+DISTVERSION= 5.8.0
CATEGORIES= math python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
Modified: head/math/py-cryptominisat/distinfo
==============================================================================
--- head/math/py-cryptominisat/distinfo Mon Oct 19 14:36:33 2020 (r552740)
+++ head/math/py-cryptominisat/distinfo Mon Oct 19 14:59:18 2020 (r552741)
@@ -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
More information about the svn-ports-all
mailing list