DELTA 384186 1422 24 SVNHW@GSuryptominisatcryptominisatENDREP DELTA SVNprpp# $FreeBSD$ PORTNAME= cryptominisat PORTVERSION= 4.2.0 PORTREVISION?= 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 USES?= cmake compiler:c++11-lib tar:bzip2 CMAKE_ARGS= -DNOMYSQL=1 -DNOM4RI=1 -DPYTHON_EXECUTABLE=0 WRKSRC= ${WRKDIR}/${PORTNAME}4-${PORTVERSION} USE_LDCONFIG= yes .include ENDREP DELTA SVNSHA256 (cryptominisat-4.2.0.tar.bz2) = 4fb35b3f91a5fddcdd021a92e6e9f1a9049fb03f354860b118e9937a15a8ff02 SIZE (cryptominisat-4.2.0.tar.bz2) = 634464 ENDREP DELTA SVNxzxx--- cryptominisat4/CMakeLists.txt.orig 2014-07-16 21:45:53 UTC +++ cryptominisat4/CMakeLists.txt @@ -85,6 +85,7 @@ target_link_libraries(libcryptominisat4 set_target_properties(libcryptominisat4 PROPERTIES OUTPUT_NAME cryptominisat4 PUBLIC_HEADER "${cryptominisat4_public_headers}" + SOVERSION 0 ) cmsat_add_public_header(libcryptominisat4 cryptominisat.h ) ENDREP DELTA SVNy{yy--- 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 #include using namespace CMSat; ENDREP DELTA SVN>@>>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/ ENDREP DELTA SVNmommbin/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 lib/libcryptominisat4.so.0 ENDREP DELTA SVNpx^]_K0şs?E}rCB6ۂ+I uU6gw7T/{hl}sY%AEq}RU 2t12Ea|Q:H(sx'˽,Z*5ZU,%O#Hȉ*>@]ʔe