Attachment #174683 for bug #212601

View | Details | Raw Unified | Return to bug 212601
Collapse All | Expand All




# $FreeBSD: head/math/cryptominisat/Makefile 421212 2016-09-01 13:25:49Z cpm $

PORTNAME=	cryptominisat
PORTVERSION=	5.0.1
CATEGORIES=	math

MAINTAINER=	6yearold@gmail.com
COMMENT=	General-purpose award-winning SAT solver

LICENSE=	MIT
LICENSE_FILE=	${WRKSRC}/LICENSE

BUILD_DEPENDS=	xxd:editors/vim-lite # for xxd tool
LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs

Lines 1-3 Link Here

(-)cryptominisat/distinfo (-3 / +3 lines)
1	TIMESTAMP = 1469882294	1	TIMESTAMP = 1473688764
2	SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910	2	SHA256 (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 789d53c90ecbd5910f48e4e1bd835e374b268e0b3872a81fd5c6178a30a5e263
3	SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712	3	SIZE (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 596710




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

Lines 1-6 Link Here

(-)cryptominisat/pkg-plist (+1 lines)
1	bin/cryptominisat5	1	bin/cryptominisat5
2	bin/cryptominisat5_simple	2	bin/cryptominisat5_simple
3	include/cryptominisat5/cryptominisat.h	3	include/cryptominisat5/cryptominisat.h
		4	include/cryptominisat5/cryptominisat_c.h
4	include/cryptominisat5/solvertypesmini.h	5	include/cryptominisat5/solvertypesmini.h
5	lib/cmake/cryptominisat5/cryptominisat5Config.cmake	6	lib/cmake/cryptominisat5/cryptominisat5Config.cmake
6	lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake	7	lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake

Lines 1-7 Link Here

(-)py-cryptominisat/Makefile (-1 / +1 lines)
1	# $FreeBSD: head/math/py-cryptominisat/Makefile 421342 2016-09-04 15:11:25Z crees $	1	# $FreeBSD: head/math/py-cryptominisat/Makefile 421342 2016-09-04 15:11:25Z crees $
2		2
3	PORTNAME= cryptominisat	3	PORTNAME= cryptominisat
4	PORTVERSION= 5.0.0	4	PORTVERSION= 5.0.1
5	CATEGORIES= math python	5	CATEGORIES= math python
6	PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}	6	PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
7		7

Lines 1-3 Link Here

(-)py-cryptominisat/distinfo (-3 / +3 lines)
1	TIMESTAMP = 1469896511	1	TIMESTAMP = 1473692160
2	SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910	2	SHA256 (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 789d53c90ecbd5910f48e4e1bd835e374b268e0b3872a81fd5c6178a30a5e263
3	SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712	3	SIZE (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 596710

Return to bug 212601

Lines 1-14 Link Here

(-)cryptominisat/Makefile (-3 / +2 lines)
1	# $FreeBSD: head/math/cryptominisat/Makefile 421212 2016-09-01 13:25:49Z cpm $	1	# $FreeBSD: head/math/cryptominisat/Makefile 421212 2016-09-01 13:25:49Z cpm $
2		2
3	PORTNAME= cryptominisat	3	PORTNAME= cryptominisat
4	PORTVERSION= 5.0.0	4	PORTVERSION= 5.0.1
5	CATEGORIES= math	5	CATEGORIES= math
6		6
7	MAINTAINER= 6yearold@gmail.com	7	MAINTAINER= 6yearold@gmail.com
8	COMMENT= General-purpose award-winning SAT solver	8	COMMENT= General-purpose award-winning SAT solver
9		9
10	LICENSE= LGPL3	10	LICENSE= MIT
11	LICENSE_FILE= ${WRKSRC}/LICENSE
12		11
13	BUILD_DEPENDS= xxd:editors/vim-lite # for xxd tool	12	BUILD_DEPENDS= xxd:editors/vim-lite # for xxd tool
14	LIB_DEPENDS= libboost_program_options.so:devel/boost-libs	13	LIB_DEPENDS= libboost_program_options.so:devel/boost-libs

Line 0 Link Here

(-)cryptominisat/files/patch-src_CMakeLists.txt (+17 lines)
	1	--- src/CMakeLists.txt.orig 2016-09-10 13:30:17 UTC
	2	+++ src/CMakeLists.txt
	3	@@ -2,12 +2,12 @@ include_directories(
	4	${PROJECT_SOURCE_DIR}
	5	)
	6
	7	+include_directories(${CMAKE_CURRENT_BINARY_DIR})
	8	+
	9	if(Boost_FOUND)
	10	include_directories(${Boost_INCLUDE_DIRS})
	11	endif()
	12
	13	-include_directories(${CMAKE_CURRENT_BINARY_DIR})
	14	-
	15	configure_file("${CMAKE_CURRENT_SOURCE_DIR}/GitSHA1.cpp.in" "${CMAKE_CURRENT_BINARY_DIR}/GitSHA1.cpp" @ONLY)
	16	configure_file("${CMAKE_CURRENT_SOURCE_DIR}/cryptominisat.h.in" "${CMAKE_CURRENT_BINARY_DIR}/cryptominisat5/cryptominisat.h" @ONLY)
	17	configure_file("${CMAKE_CURRENT_SOURCE_DIR}/solvertypesmini.h.in" "${CMAKE_CURRENT_BINARY_DIR}/cryptominisat5/solvertypesmini.h" @ONLY)