Date: Mon, 19 Oct 2020 14:59:18 +0000 (UTC) From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r552741 - in head/math: cryptominisat py-cryptominisat Message-ID: <202010191459.09JExI9v067979@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202010191459.09JExI9v067979>