Attachment 156338 Details for Bug 199929 – Patch with new port

[patch] Patch with new port

cryptominisat.patch (text/plain), 3.92 KB, created by Gleb Popov on 2015-05-04 14:39:10 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Gleb Popov

Created: 2015-05-04 14:39:10 UTC

Size: 3.92 KB

patch

obsolete

>diff -ruN /var/empty/Makefile math/cryptominisat/Makefile
>--- /var/empty/Makefile	1970-01-01 04:00:00.000000000 +0400
>+++ math/cryptominisat/Makefile	2015-05-02 22:20:57.733228258 +0300
>@@ -0,0 +1,35 @@
>+# $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>
>diff -ruN /var/empty/distinfo math/cryptominisat/distinfo
>--- /var/empty/distinfo	1970-01-01 04:00:00.000000000 +0400
>+++ math/cryptominisat/distinfo	2015-05-02 12:09:14.567759397 +0300
>@@ -0,0 +1,2 @@
>+SHA256 (cryptominisat-4.2.0.tar.bz2) = 4fb35b3f91a5fddcdd021a92e6e9f1a9049fb03f354860b118e9937a15a8ff02
>+SIZE (cryptominisat-4.2.0.tar.bz2) = 634464
>diff -ruN /var/empty/files/patch-cryptominisat4_bva.cpp math/cryptominisat/files/patch-cryptominisat4_bva.cpp
>--- /var/empty/files/patch-cryptominisat4_bva.cpp	1970-01-01 04:00:00.000000000 +0400
>+++ math/cryptominisat/files/patch-cryptominisat4_bva.cpp	2015-05-02 21:42:11.529388899 +0300
>@@ -0,0 +1,10 @@
>+--- cryptominisat4/bva.cpp.orig	2014-07-14 22:45:03 UTC
>++++ cryptominisat4/bva.cpp
>+@@ -25,6 +25,7 @@
>+ #include "clausecleaner.h"
>+ #include "subsumeimplicit.h"
>+ #include "sqlstats.h"
>++#include <cmath>
>+ #include <functional>
>+ 
>+ using namespace CMSat;
>diff -ruN /var/empty/files/patch-python_CMakeLists.txt math/cryptominisat/files/patch-python_CMakeLists.txt
>--- /var/empty/files/patch-python_CMakeLists.txt	1970-01-01 04:00:00.000000000 +0400
>+++ math/cryptominisat/files/patch-python_CMakeLists.txt	2015-05-02 21:42:11.559389819 +0300
>@@ -0,0 +1,11 @@
>+--- python/CMakeLists.txt.orig	2014-07-06 23:39:04 UTC
>++++ python/CMakeLists.txt
>+@@ -12,7 +12,7 @@ add_custom_command(OUTPUT ${OUTPUT}/time
>+ 
>+ add_custom_target(pytarget ALL DEPENDS ${OUTPUT}/timestamp)
>+ 
>+-install(CODE "execute_process(COMMAND ${PYTHON_EXECUTABLE} ${SETUP_PY} install --record files.txt)")
>++install(CODE "execute_process(COMMAND ${PYTHON_EXECUTABLE} ${SETUP_PY} install -c -O1 --prefix=${CMAKE_INSTALL_PREFIX} --root=${FREEBSD_STAGEDIR} --record files.txt)")
>+ 
>+ if (ENABLE_TESTING)
>+     #add_test (pytest ${PYTHON_EXECUTABLE} "${CMAKE_CURRENT_SOURCE_DIR}/test_pycryptosat.py")
>diff -ruN /var/empty/pkg-descr math/cryptominisat/pkg-descr
>--- /var/empty/pkg-descr	1970-01-01 04:00:00.000000000 +0400
>+++ math/cryptominisat/pkg-descr	2015-05-04 17:38:39.016752104 +0300
>@@ -0,0 +1,7 @@
>+CryptoMiniSat is a modern, multi-threaded, feature-rich,
>+simplifying SAT solver, featuring over 100 configurable 
>+parameters to tune to specific need, collection of statistical
>+data to MySQL database + javascript-based visualization of it
>+and clean C++ and python interfaces.
>+
>+WWW: http://www.msoos.org/cryptominisat4/
>diff -ruN /var/empty/pkg-plist math/cryptominisat/pkg-plist
>--- /var/empty/pkg-plist	1970-01-01 04:00:00.000000000 +0400
>+++ math/cryptominisat/pkg-plist	2015-05-02 16:26:25.333693829 +0300
>@@ -0,0 +1,10 @@
>+bin/cryptominisat
>+include/cryptominisat4/cryptominisat.h
>+include/cryptominisat4/solverconf.h
>+include/cryptominisat4/solvertypesmini.h
>+lib/cmake/cryptominisat4/cryptominisat4Config.cmake
>+lib/cmake/cryptominisat4/cryptominisat4Targets-%%CMAKE_BUILD_TYPE%%.cmake
>+lib/cmake/cryptominisat4/cryptominisat4Targets.cmake
>+lib/libcryptominisat4.so
>+%%PYTHON%%%%PYTHON_SITELIBDIR%%/%%EGGFILE%%
>+%%PYTHON%%%%PYTHON_SITELIBDIR%%/pycryptosat.so
>\ No newline at end of file

Actions: View | Diff

Attachments on bug 199929: 156338 | 156406