diff options
-rw-r--r-- | math/cryptominisat/Makefile | 7 | ||||
-rw-r--r-- | math/cryptominisat/distinfo | 6 | ||||
-rw-r--r-- | math/cryptominisat/pkg-plist | 1 |
3 files changed, 8 insertions, 6 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index dc966946f86c..085ed0fe242a 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,14 +1,15 @@ # $FreeBSD$ PORTNAME= cryptominisat -PORTVERSION= 5.0.0 +PORTVERSION= 5.0.1 CATEGORIES= math MAINTAINER= 6yearold@gmail.com COMMENT= General-purpose award-winning SAT solver -LICENSE= LGPL3 -LICENSE_FILE= ${WRKSRC}/LICENSE +LICENSE= MIT LGPL21 +LICENSE_COMB= multi +LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE-SCALMC BUILD_DEPENDS= xxd:editors/vim-lite # for xxd tool LIB_DEPENDS= libboost_program_options.so:devel/boost-libs diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index 57e3fb7a58df..026288c1a3d7 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1469882294 -SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910 -SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712 +TIMESTAMP = 1473692160 +SHA256 (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 789d53c90ecbd5910f48e4e1bd835e374b268e0b3872a81fd5c6178a30a5e263 +SIZE (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 596710 diff --git a/math/cryptominisat/pkg-plist b/math/cryptominisat/pkg-plist index aad11be2fc33..60cbb0115fa5 100644 --- a/math/cryptominisat/pkg-plist +++ b/math/cryptominisat/pkg-plist @@ -1,6 +1,7 @@ bin/cryptominisat5 bin/cryptominisat5_simple include/cryptominisat5/cryptominisat.h +include/cryptominisat5/cryptominisat_c.h include/cryptominisat5/solvertypesmini.h lib/cmake/cryptominisat5/cryptominisat5Config.cmake lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake |