cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/cryptominisat and math/py-cryptominisat: Update to 5.8.0.

Browse Source 
Enable M4RI functionality, thanks to thierry@ for adding the port.
This commit is contained in:
Gleb Popov 2020-10-19 14:59:18 +00:00
parent 51184494db
commit a9aa316ecb
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=552741
5 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
math/cryptominisat/Makefile
View File

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

6
math/cryptominisat/distinfo
View File

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

2
math/cryptominisat/pkg-plist
View File

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

2
math/py-cryptominisat/Makefile
View File

@ -1,7 +1,7 @@
# $FreeBSD$
PORTNAME= cryptominisat
DISTVERSION= 5.7.1
DISTVERSION= 5.8.0
CATEGORIES= math python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}

6
math/py-cryptominisat/distinfo
View File

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