diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2022-10-15 15:47:32 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2022-10-15 15:48:57 +0000 |
| commit | e836df42f75cbdb4798b63c8ccbaa19960a883f3 (patch) | |
| tree | 9a6777dc98a1c5f1a47db5e3228c28067a60d33a | |
| parent | d66b2debb909e0355b96a7b89c05d716e899d2e3 (diff) | |
math/cryptominisat: Update to 5.11.4
| -rw-r--r-- | math/cryptominisat/Makefile | 3 | ||||
| -rw-r--r-- | math/cryptominisat/distinfo | 6 | ||||
| -rw-r--r-- | math/cryptominisat/pkg-plist | 2 | ||||
| -rw-r--r-- | math/py-cryptominisat/files/patch-setup.py.in | 47 |
4 files changed, 5 insertions, 53 deletions
diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile index ebe5df3cb2df..dc65004cf85c 100644 --- a/math/cryptominisat/Makefile +++ b/math/cryptominisat/Makefile @@ -1,6 +1,5 @@ PORTNAME= cryptominisat -DISTVERSION= 5.8.0 -PORTREVISION= 2 +DISTVERSION= 5.11.4 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo index 4a418bdbf798..d125993e4f6e 100644 --- a/math/cryptominisat/distinfo +++ b/math/cryptominisat/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1603118756 -SHA256 (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 50153025c8503ef32f32fff847ee24871bb0fc1f0b13e17fe01aa762923f6d94 -SIZE (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 943785 +TIMESTAMP = 1665824287 +SHA256 (msoos-cryptominisat-5.11.4_GH0.tar.gz) = abeecb29a73e8566ae6e9afd229ec991d95b138985565b2378af95ef1ce1d317 +SIZE (msoos-cryptominisat-5.11.4_GH0.tar.gz) = 1044845 diff --git a/math/cryptominisat/pkg-plist b/math/cryptominisat/pkg-plist index be1e6ccdc47b..57be1f56c873 100644 --- a/math/cryptominisat/pkg-plist +++ b/math/cryptominisat/pkg-plist @@ -9,4 +9,4 @@ 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.8 +lib/libcryptominisat5.so.5.11 diff --git a/math/py-cryptominisat/files/patch-setup.py.in b/math/py-cryptominisat/files/patch-setup.py.in deleted file mode 100644 index a78c83ac1740..000000000000 --- a/math/py-cryptominisat/files/patch-setup.py.in +++ /dev/null @@ -1,47 +0,0 @@ ---- setup.py.in.orig 2020-07-06 21:45:41 UTC -+++ setup.py.in -@@ -27,7 +27,7 @@ import sys - import os - import platform - from distutils.core import setup, Extension --from distutils import sysconfig -+import sysconfig - from distutils.cmd import Command - - __PACKAGE_VERSION__ = "0.2.0" -@@ -59,8 +59,8 @@ def _init_posix(init): - Forces g++ instead of gcc on most systems - credits to eric jones (eric@enthought.com) (found at Google Groups) - """ -- def wrapper(): -- init() -+ def wrapper(vars): -+ init(vars) - - config_vars = sysconfig.get_config_vars() # by reference - if config_vars["MACHDEP"].startswith("sun"): -@@ -119,12 +119,12 @@ else: - - modules = dict( - name = "pycryptosat", -- sources = ["${CMAKE_CURRENT_BINARY_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', '-xc++'], - extra_link_args = extra_link_args, - language = "c++", -- library_dirs=['.', '${PROJECT_BINARY_DIR}/lib', '${PROJECT_BINARY_DIR}/lib/${CMAKE_BUILD_TYPE}'], -+ library_dirs=['.', '/usr/local/lib'], - runtime_library_dirs=['${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_LIBDIR}'], - libraries = [libname] - ) -@@ -153,7 +153,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 - } |