Attachment 174683 Details for Bug 212601 – Patch

[patch] Patch

cryptominisat.diff (text/plain), 3.84 KB, created by Gleb Popov on 2016-09-12 12:00:19 UTC

(hide)

Description:

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

Actions: View | Diff

Attachments on bug 212601: 174683