--- cryptominisat/Makefile 2016-04-01 14:17:44.000000000 +0000 +++ cryptominisat/Makefile 2016-07-30 16:30:56.768341000 +0000 @@ -1,14 +1,14 @@ # $FreeBSD: head/math/cryptominisat/Makefile 412348 2016-04-01 14:17:44Z mat $ PORTNAME= cryptominisat -PORTVERSION= 4.5.3 +PORTVERSION= 5.0.0 CATEGORIES= math MAINTAINER= 6yearold@gmail.com COMMENT= General-purpose award-winning SAT solver LICENSE= LGPL3 -LICENSE_FILE= ${WRKSRC}/LICENSE-LGPL +LICENSE_FILE= ${WRKSRC}/LICENSE BUILD_DEPENDS= xxd:editors/vim-lite # for xxd tool LIB_DEPENDS= libboost_program_options.so:devel/boost-libs @@ -19,6 +19,6 @@ USES= cmake compiler:c++11-lib USE_LDCONFIG= yes -CMAKE_ARGS= -DNOMYSQL=1 -DNOM4RI=1 -DPYTHON_EXECUTABLE=0 +CMAKE_ARGS= -DNOM4RI=1 -DENABLE_PYTHON_INTERFACE=OFF .include --- cryptominisat/distinfo 2016-01-06 14:07:05.000000000 +0000 +++ cryptominisat/distinfo 2016-07-30 12:38:14.999328000 +0000 @@ -1,2 +1,3 @@ -SHA256 (msoos-cryptominisat-4.5.3_GH0.tar.gz) = 114da20e25734dc368dada47afd8cb7d44717f2159ad66d5bac742062fa3eb4c -SIZE (msoos-cryptominisat-4.5.3_GH0.tar.gz) = 467221 +TIMESTAMP = 1469882294 +SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910 +SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712 --- cryptominisat/files/patch-src_dimacsparser.cpp 2016-01-06 14:07:05.000000000 +0000 +++ cryptominisat/files/patch-src_dimacsparser.cpp 1970-01-01 00:00:00.000000000 +0000 @@ -1,11 +0,0 @@ ---- src/dimacsparser.cpp.orig 2015-08-26 23:32:30 UTC -+++ src/dimacsparser.cpp -@@ -126,7 +126,7 @@ void DimacsParser::readClause(StreamBuff - for (;;) { - parsed_lit = parseInt(in); - if (parsed_lit == 0) break; -- var = abs(parsed_lit)-1; -+ var = std::abs(parsed_lit)-1; - if (var >= (1ULL<<28)) { - std::cerr - << "ERROR! " --- cryptominisat/files/patch-src_dimacsparser.h 2016-01-06 14:07:05.000000000 +0000 +++ cryptominisat/files/patch-src_dimacsparser.h 1970-01-01 00:00:00.000000000 +0000 @@ -1,10 +0,0 @@ ---- src/dimacsparser.h.orig 2016-01-05 09:44:15 UTC -+++ src/dimacsparser.h -@@ -25,6 +25,7 @@ THE SOFTWARE. - #define DIMACSPARSER_H - - #include -+#include - #include "streambuffer.h" - #include "cryptominisat4/cryptominisat.h" - --- cryptominisat/pkg-descr 2015-05-05 21:54:29.000000000 +0000 +++ cryptominisat/pkg-descr 2016-07-30 13:05:00.852911000 +0000 @@ -3,4 +3,4 @@ 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/ +WWW: https://github.com/msoos/cryptominisat/ --- cryptominisat/pkg-plist 2016-01-06 14:07:05.000000000 +0000 +++ cryptominisat/pkg-plist 2016-07-28 10:40:30.106024000 +0000 @@ -1,10 +1,9 @@ -bin/cryptominisat4 -bin/cryptominisat4_simple -include/cryptominisat4/cryptominisat.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.a -lib/libcryptominisat4.so -lib/libcryptominisat4.so.4.5 +bin/cryptominisat5 +bin/cryptominisat5_simple +include/cryptominisat5/cryptominisat.h +include/cryptominisat5/solvertypesmini.h +lib/cmake/cryptominisat5/cryptominisat5Config.cmake +lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake +lib/cmake/cryptominisat5/cryptominisat5Targets.cmake +lib/libcryptominisat5.so +lib/libcryptominisat5.so.5.0 --- py-cryptominisat/Makefile 2016-04-01 14:17:44.000000000 +0000 +++ py-cryptominisat/Makefile 2016-07-30 16:33:12.218348000 +0000 @@ -1,7 +1,7 @@ # $FreeBSD: head/math/py-cryptominisat/Makefile 412348 2016-04-01 14:17:44Z mat $ PORTNAME= cryptominisat -PORTVERSION= 4.5.3 +PORTVERSION= 5.0.0 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} @@ -11,7 +11,7 @@ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE -LIB_DEPENDS= libcryptominisat4.so:math/cryptominisat +LIB_DEPENDS= libcryptominisat5.so:math/cryptominisat USES= compiler:c++11-lang python:-2.7 USE_PYTHON= autoplist distutils @@ -24,6 +24,7 @@ PYDISTUTILS_BUILDTARGET= build_ext --include-dirs=${LOCALBASE}/include post-patch: + ${REINPLACE_CMD} -e 's|@PROJECT_VERSION@|${PORTVERSION}|' ${WRKSRC}/setup.py.in ${CP} ${WRKSRC}/setup.py.in ${WRKSRC}/setup.py post-install: --- py-cryptominisat/distinfo 2016-01-06 14:07:05.000000000 +0000 +++ py-cryptominisat/distinfo 2016-07-30 16:35:11.147304000 +0000 @@ -1,2 +1,3 @@ -SHA256 (msoos-cryptominisat-4.5.3_GH0.tar.gz) = 114da20e25734dc368dada47afd8cb7d44717f2159ad66d5bac742062fa3eb4c -SIZE (msoos-cryptominisat-4.5.3_GH0.tar.gz) = 467221 +TIMESTAMP = 1469896511 +SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910 +SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712 --- py-cryptominisat/files/patch-setup.py.in 2016-01-06 14:07:05.000000000 +0000 +++ py-cryptominisat/files/patch-setup.py.in 2016-07-29 09:30:05.243514000 +0000 @@ -1,28 +1,37 @@ ---- setup.py.in.orig 2015-08-26 23:32:30 UTC +--- setup.py.in.orig 2016-07-06 12:22:54 UTC +++ setup.py.in -@@ -51,15 +51,15 @@ def _init_posix(init): - return wrapper - sysconfig._init_posix = _init_posix(sysconfig._init_posix) +@@ -26,9 +26,9 @@ import sys + from distutils.core import setup, Extension + from distutils import sysconfig --__version__ = '@PROJECT_VERSION@' -+__version__ = '4.5.3' +-cconf = """${PY_C_CONFIG}""".split(" ") +-ldconf = """${PY_LD_CONFIG}""".split(" ") +-is_apple = """${APPLE}""" ++cconf = """""".split(" ") ++ldconf = """""".split(" ") ++is_apple = """""" + + def cleanup(dat): + ret = [] +@@ -81,12 +81,12 @@ __version__ = '@PROJECT_VERSION@' ext_kwds = dict( name = "pycryptosat", - sources = ["${CMAKE_CURRENT_SOURCE_DIR}/pycryptosat.cpp"], + sources = ["pycryptosat.cpp"], define_macros = [], -- extra_compile_args = ['-I${PROJECT_SOURCE_DIR}', '-I${PROJECT_BINARY_DIR}/cmsat4-src'], -+ extra_compile_args = ['-I/usr/local/include', '-I..cmsat4-src'], +- extra_compile_args = cconf + ['-I${PROJECT_SOURCE_DIR}', '-I${PROJECT_BINARY_DIR}/cmsat5-src'], ++ extra_compile_args = cconf + ['-I/usr/local/include', '-I../cmsat5-src'], + extra_link_args = ldconf, language = "c++", -- library_dirs=['.', '/usr/local/lib', '${PROJECT_BINARY_DIR}/lib'], +- library_dirs=['.', '${PROJECT_BINARY_DIR}/lib'], + library_dirs=['.', '/usr/local/lib'], - libraries = ['cryptominisat4'] + libraries = ['cryptominisat5'] ) -@@ -84,5 +84,5 @@ setup( +@@ -111,5 +111,5 @@ setup( ext_modules = [Extension(**ext_kwds)], - py_modules = ['test_pycryptosat'], + py_modules = ['pycryptosat'], description = "bindings to CryptoMiniSat (a SAT solver)", - long_description = open('${CMAKE_CURRENT_SOURCE_DIR}/README.rst').read(), + long_description = open('README.rst').read(),