FreeBSD Bugzilla – Attachment 174683 Details for
Bug 212601
math/cryptominisat: Update to 5.0.1
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Help
|
New Account
|
Log In
Remember
[x]
|
Forgot Password
Login:
[x]
[patch]
Patch
cryptominisat.diff (text/plain), 3.84 KB, created by
Gleb Popov
on 2016-09-12 12:00:19 UTC
(
hide
)
Description:
Patch
Filename:
MIME Type:
Creator:
Gleb Popov
Created:
2016-09-12 12:00:19 UTC
Size:
3.84 KB
patch
obsolete
>diff -ruN /usr/ports/math/cryptominisat/Makefile cryptominisat/Makefile >--- /usr/ports/math/cryptominisat/Makefile 2016-09-01 13:25:49.000000000 +0000 >+++ cryptominisat/Makefile 2016-09-12 14:53:15.498884000 +0000 >@@ -1,14 +1,13 @@ > # $FreeBSD: head/math/cryptominisat/Makefile 421212 2016-09-01 13:25:49Z cpm $ > > 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 > > BUILD_DEPENDS= xxd:editors/vim-lite # for xxd tool > LIB_DEPENDS= libboost_program_options.so:devel/boost-libs >diff -ruN /usr/ports/math/cryptominisat/distinfo cryptominisat/distinfo >--- /usr/ports/math/cryptominisat/distinfo 2016-09-01 13:25:49.000000000 +0000 >+++ cryptominisat/distinfo 2016-09-12 13:59:24.690558000 +0000 >@@ -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 = 1473688764 >+SHA256 (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 789d53c90ecbd5910f48e4e1bd835e374b268e0b3872a81fd5c6178a30a5e263 >+SIZE (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 596710 >diff -ruN /usr/ports/math/cryptominisat/files/patch-src_CMakeLists.txt cryptominisat/files/patch-src_CMakeLists.txt >--- /usr/ports/math/cryptominisat/files/patch-src_CMakeLists.txt 1970-01-01 00:00:00.000000000 +0000 >+++ cryptominisat/files/patch-src_CMakeLists.txt 2016-09-12 14:48:16.324467000 +0000 >@@ -0,0 +1,17 @@ >+--- src/CMakeLists.txt.orig 2016-09-10 13:30:17 UTC >++++ src/CMakeLists.txt >+@@ -2,12 +2,12 @@ include_directories( >+ ${PROJECT_SOURCE_DIR} >+ ) >+ >++include_directories(${CMAKE_CURRENT_BINARY_DIR}) >++ >+ if(Boost_FOUND) >+ include_directories(${Boost_INCLUDE_DIRS}) >+ endif() >+ >+-include_directories(${CMAKE_CURRENT_BINARY_DIR}) >+- >+ configure_file("${CMAKE_CURRENT_SOURCE_DIR}/GitSHA1.cpp.in" "${CMAKE_CURRENT_BINARY_DIR}/GitSHA1.cpp" @ONLY) >+ configure_file("${CMAKE_CURRENT_SOURCE_DIR}/cryptominisat.h.in" "${CMAKE_CURRENT_BINARY_DIR}/cryptominisat5/cryptominisat.h" @ONLY) >+ configure_file("${CMAKE_CURRENT_SOURCE_DIR}/solvertypesmini.h.in" "${CMAKE_CURRENT_BINARY_DIR}/cryptominisat5/solvertypesmini.h" @ONLY) >diff -ruN /usr/ports/math/cryptominisat/pkg-plist cryptominisat/pkg-plist >--- /usr/ports/math/cryptominisat/pkg-plist 2016-09-01 13:25:49.000000000 +0000 >+++ cryptominisat/pkg-plist 2016-09-12 14:49:50.710081000 +0000 >@@ -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 >diff -ruN /usr/ports/math/py-cryptominisat/Makefile py-cryptominisat/Makefile >--- /usr/ports/math/py-cryptominisat/Makefile 2016-09-04 15:11:25.000000000 +0000 >+++ py-cryptominisat/Makefile 2016-09-12 14:55:52.840869000 +0000 >@@ -1,7 +1,7 @@ > # $FreeBSD: head/math/py-cryptominisat/Makefile 421342 2016-09-04 15:11:25Z crees $ > > PORTNAME= cryptominisat >-PORTVERSION= 5.0.0 >+PORTVERSION= 5.0.1 > CATEGORIES= math python > PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} > >diff -ruN /usr/ports/math/py-cryptominisat/distinfo py-cryptominisat/distinfo >--- /usr/ports/math/py-cryptominisat/distinfo 2016-09-01 13:25:49.000000000 +0000 >+++ py-cryptominisat/distinfo 2016-09-12 14:56:00.609913000 +0000 >@@ -1,3 +1,3 @@ >-TIMESTAMP = 1469896511 >-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
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 212601
: 174683