Page MenuHomeFreeBSD
Files F153225156

D15735.id43541.diff
No OneTemporary
Actions

D15735.id43541.diff
View Options

Index: math/cryptominisat/Makefile
===================================================================
--- math/cryptominisat/Makefile
+++ math/cryptominisat/Makefile
@@ -1,8 +1,7 @@
# $FreeBSD$
PORTNAME= cryptominisat
-PORTVERSION= 5.0.1
-PORTREVISION= 9
+PORTVERSION= 5.6.1
CATEGORIES= math
MAINTAINER= 6yearold@gmail.com
@@ -10,7 +9,8 @@
LICENSE= MIT LGPL21
LICENSE_COMB= multi
-LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE-SCALMC
+LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt
+LICENSE_FILE_MIT= ${WRKSRC}/LICENSE.txt
BUILD_DEPENDS= xxd:editors/vim-console # for xxd tool
LIB_DEPENDS= libboost_program_options.so:devel/boost-libs
Index: math/cryptominisat/distinfo
===================================================================
--- math/cryptominisat/distinfo
+++ math/cryptominisat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1473692160
-SHA256 (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 789d53c90ecbd5910f48e4e1bd835e374b268e0b3872a81fd5c6178a30a5e263
-SIZE (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 596710
+TIMESTAMP = 1528624412
+SHA256 (msoos-cryptominisat-5.6.1_GH0.tar.gz) = f86c1cc94abcb9b9f9227fab2ea29f869b0b47f8dc83946e06e7d98b97cac2aa
+SIZE (msoos-cryptominisat-5.6.1_GH0.tar.gz) = 675234
Index: math/cryptominisat/pkg-plist
===================================================================
--- math/cryptominisat/pkg-plist
+++ math/cryptominisat/pkg-plist
@@ -2,9 +2,11 @@
bin/cryptominisat5_simple
include/cryptominisat5/cryptominisat.h
include/cryptominisat5/cryptominisat_c.h
+include/cryptominisat5/dimacsparser.h
include/cryptominisat5/solvertypesmini.h
+include/cryptominisat5/streambuffer.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
+lib/libcryptominisat5.so.5.6
Index: math/py-cryptominisat/Makefile
===================================================================
--- math/py-cryptominisat/Makefile
+++ math/py-cryptominisat/Makefile
@@ -1,16 +1,17 @@
# $FreeBSD$
PORTNAME= cryptominisat
-PORTVERSION= 5.0.0
-PORTREVISION= 2
+PORTVERSION= 5.6.1
CATEGORIES= math python
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
MAINTAINER= 6yearold@gmail.com
COMMENT= Bindings to CryptoMiniSat (a SAT solver)
-LICENSE= MIT
-LICENSE_FILE= ${WRKSRC}/LICENSE
+LICENSE= MIT LGPL21
+LICENSE_COMB= multi
+LICENSE_FILE_LGPL21= ${WRKSRC}/../LICENSE.txt
+LICENSE_FILE_MIT= ${WRKSRC}/../LICENSE.txt
LIB_DEPENDS= libcryptominisat5.so:math/cryptominisat
Index: math/py-cryptominisat/distinfo
===================================================================
--- math/py-cryptominisat/distinfo
+++ math/py-cryptominisat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1469896511
-SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910
-SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712
+TIMESTAMP = 1528628948
+SHA256 (msoos-cryptominisat-5.6.1_GH0.tar.gz) = f86c1cc94abcb9b9f9227fab2ea29f869b0b47f8dc83946e06e7d98b97cac2aa
+SIZE (msoos-cryptominisat-5.6.1_GH0.tar.gz) = 675234
Index: math/py-cryptominisat/files/patch-setup.py.in
===================================================================
--- math/py-cryptominisat/files/patch-setup.py.in
+++ math/py-cryptominisat/files/patch-setup.py.in
@@ -1,8 +1,13 @@
---- setup.py.in.orig 2016-07-06 12:22:54 UTC
+--- setup.py.in.orig 2018-06-05 06:06:54 UTC
+++ setup.py.in
-@@ -26,9 +26,9 @@ import sys
- from distutils.core import setup, Extension
- from distutils import sysconfig
+@@ -32,12 +32,12 @@ from distutils.cmd import Command
+
+ __PACKAGE_VERSION__ = "0.2.0"
+ __LIBRARY_VERSION__ = "${CMS_FULL_VERSION}"
+-os.environ["CC"] = "${CMAKE_C_COMPILER}"
+-os.environ["CXX"] = "${CMAKE_CXX_COMPILER}"
++os.environ["CC"] = "cc"
++os.environ["CXX"] = "c++"
-cconf = """${PY_C_CONFIG}""".split(" ")
-ldconf = """${PY_LD_CONFIG}""".split(" ")
@@ -13,26 +18,37 @@
def cleanup(dat):
ret = []
-@@ -81,12 +81,12 @@ __version__ = '@PROJECT_VERSION@'
+@@ -110,7 +110,7 @@ class TestCommand(Command):
+ tp.run()
+
+
+-__version__ = '@PROJECT_VERSION@'
++__version__ = '5.6.1'
- ext_kwds = dict(
+ # needed because Mac doesn't make use of runtime_library_dirs
+ extra_link_args = list(ldconf)
+@@ -119,12 +119,12 @@ if platform.system() == 'Darwin':
+
+ modules = dict(
name = "pycryptosat",
-- sources = ["${CMAKE_CURRENT_SOURCE_DIR}/pycryptosat.cpp"],
-+ sources = ["pycryptosat.cpp"],
- define_macros = [],
+- sources = ["${CMAKE_CURRENT_SOURCE_DIR}/src/pycryptosat.cpp"],
++ sources = ["src/pycryptosat.cpp"],
+ define_macros = [('LIBRARY_VERSION', '"' + __LIBRARY_VERSION__ + '"')],
- 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,
+ extra_link_args = extra_link_args,
language = "c++",
- library_dirs=['.', '${PROJECT_BINARY_DIR}/lib'],
+ library_dirs=['.', '/usr/local/lib'],
+ runtime_library_dirs=['${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_LIBDIR}'],
libraries = ['cryptominisat5']
)
-
-@@ -111,5 +111,5 @@ setup(
- ext_modules = [Extension(**ext_kwds)],
- py_modules = ['pycryptosat'],
- description = "bindings to CryptoMiniSat (a SAT solver)",
+@@ -150,7 +150,7 @@ setup(
+ description = "Bindings to CryptoMiniSat {} (a SAT solver)".\
+ format(__LIBRARY_VERSION__),
+ # py_modules = ['pycryptosat'],
- long_description = open('${CMAKE_CURRENT_SOURCE_DIR}/README.rst').read(),
+ long_description = open('README.rst').read(),
- )
+ cmdclass={
+ 'test': TestCommand
+ }
\ No newline at end of file

File Metadata

Mime Type
text/plain
Expires
Mon, Apr 20, 10:14 PM (6 h, 38 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
31868105
Default Alt Text
D15735.id43541.diff (5 KB)

Event Timeline