Attachment #156338 for bug #199929




# $FreeBSD$

PORTNAME=	cryptominisat
PORTVERSION=	4.2.0
CATEGORIES=	math
MASTER_SITES=	http://msoos.org/largefiles/

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

LICENSE=	LGPL3

LIB_DEPENDS=	libboost_program_options.so:${PORTSDIR}/devel/boost-libs

OPTIONS_DEFINE=	PYTHON
OPTIONS_SUB=	yes

PYTHON_DESC=	Python interface to cryptominisat

USES=		tar:bzip2 cmake

CMAKE_ARGS=	-DNOMYSQL=1 -DNOM4RI=1 -DFREEBSD_STAGEDIR=${STAGEDIR}

WRKSRC=		${WRKDIR}/cryptominisat4-${PORTVERSION}

.include <bsd.port.options.mk>

.if ${PORT_OPTIONS:MPYTHON}
USES+=		python:build
PLIST_SUB+=	EGGFILE=pycryptosat-${PORTVERSION}-py${PYTHON_VER}.egg-info
.else
CMAKE_ARGS+=	-DPYTHON_EXECUTABLE=0
.endif

.include <bsd.port.mk>

Line 0 Link Here

(-)math/cryptominisat/distinfo (+2 lines)
	1	SHA256 (cryptominisat-4.2.0.tar.bz2) = 4fb35b3f91a5fddcdd021a92e6e9f1a9049fb03f354860b118e9937a15a8ff02
	2	SIZE (cryptominisat-4.2.0.tar.bz2) = 634464

Line 0 Link Here

(-)math/cryptominisat/files/patch-cryptominisat4_bva.cpp (+10 lines)
	1	--- cryptominisat4/bva.cpp.orig 2014-07-14 22:45:03 UTC
	2	+++ cryptominisat4/bva.cpp
	3	@@ -25,6 +25,7 @@
	4	#include "clausecleaner.h"
	5	#include "subsumeimplicit.h"
	6	#include "sqlstats.h"
	7	+#include <cmath>
	8	#include <functional>
	9
	10	using namespace CMSat;

Line 0 Link Here

(-)math/cryptominisat/files/patch-python_CMakeLists.txt (+11 lines)
	1	--- python/CMakeLists.txt.orig 2014-07-06 23:39:04 UTC
	2	+++ python/CMakeLists.txt
	3	@@ -12,7 +12,7 @@ add_custom_command(OUTPUT ${OUTPUT}/time
	4
	5	add_custom_target(pytarget ALL DEPENDS ${OUTPUT}/timestamp)
	6
	7	-install(CODE "execute_process(COMMAND ${PYTHON_EXECUTABLE} ${SETUP_PY} install --record files.txt)")
	8	+install(CODE "execute_process(COMMAND ${PYTHON_EXECUTABLE} ${SETUP_PY} install -c -O1 --prefix=${CMAKE_INSTALL_PREFIX} --root=${FREEBSD_STAGEDIR} --record files.txt)")
	9
	10	if (ENABLE_TESTING)
	11	#add_test (pytest ${PYTHON_EXECUTABLE} "${CMAKE_CURRENT_SOURCE_DIR}/test_pycryptosat.py")

Line 0 Link Here

(-)math/cryptominisat/pkg-descr (+7 lines)
	1	CryptoMiniSat is a modern, multi-threaded, feature-rich,
	2	simplifying SAT solver, featuring over 100 configurable
	3	parameters to tune to specific need, collection of statistical
	4	data to MySQL database + javascript-based visualization of it
	5	and clean C++ and python interfaces.
	6
	7	WWW: http://www.msoos.org/cryptominisat4/

Line 0 Link Here

(-)math/cryptominisat/pkg-plist (+10 lines)
	1	bin/cryptominisat
	2	include/cryptominisat4/cryptominisat.h
	3	include/cryptominisat4/solverconf.h
	4	include/cryptominisat4/solvertypesmini.h
	5	lib/cmake/cryptominisat4/cryptominisat4Config.cmake
	6	lib/cmake/cryptominisat4/cryptominisat4Targets-%%CMAKE_BUILD_TYPE%%.cmake
	7	lib/cmake/cryptominisat4/cryptominisat4Targets.cmake
	8	lib/libcryptominisat4.so
	9	%%PYTHON%%%%PYTHON_SITELIBDIR%%/%%EGGFILE%%
	10	%%PYTHON%%%%PYTHON_SITELIBDIR%%/pycryptosat.so

Return to bug 199929

Line 0 Link Here

(-)math/cryptominisat/Makefile (+35 lines)
	1	# $FreeBSD$
	2
	3	PORTNAME= cryptominisat
	4	PORTVERSION= 4.2.0
	5	CATEGORIES= math
	6	MASTER_SITES= http://msoos.org/largefiles/
	7
	8	MAINTAINER= 6yearold@gmail.com
	9	COMMENT= General-purpose award-winning SAT solver
	10
	11	LICENSE= LGPL3
	12
	13	LIB_DEPENDS= libboost_program_options.so:${PORTSDIR}/devel/boost-libs
	14
	15	OPTIONS_DEFINE= PYTHON
	16	OPTIONS_SUB= yes
	17
	18	PYTHON_DESC= Python interface to cryptominisat
	19
	20	USES= tar:bzip2 cmake
	21
	22	CMAKE_ARGS= -DNOMYSQL=1 -DNOM4RI=1 -DFREEBSD_STAGEDIR=${STAGEDIR}
	23
	24	WRKSRC= ${WRKDIR}/cryptominisat4-${PORTVERSION}
	25
	26	.include <bsd.port.options.mk>
	27
	28	.if ${PORT_OPTIONS:MPYTHON}
	29	USES+= python:build
	30	PLIST_SUB+= EGGFILE=pycryptosat-${PORTVERSION}-py${PYTHON_VER}.egg-info
	31	.else
	32	CMAKE_ARGS+= -DPYTHON_EXECUTABLE=0
	33	.endif
	34
	35	.include <bsd.port.mk>