From nobody Sat Oct 15 15:49:21 2022 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4MqSNx2T0nz4f73b; Sat, 15 Oct 2022 15:49:21 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4MqSNx210vz3pV8; Sat, 15 Oct 2022 15:49:21 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1665848961; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=UNzLTJ3d3JpC7B5NcjWtDi7t9a91rzs31rQTwzNTI6Q=; b=auEtoiUS/4FMwM+3RDejgh77up/eW0GvDSgG3M+XaascHcmSspiLYzeiEA4mb68tQ3Y5Iq ZXj4YO9/Yel5vGItCrJZjFWosqwvG5l2vLy73hcRs3XkZ0rpTJyBHgDJI0aBY1tghXTx8p cobV6P1kBmoJ2IbV7Iof5FvWLcwjLWfP7nqnpu7Jt4ZTQklgGayxqPQPQhtE+NhUVlSnE+ 28jrg1PtBakg8eYjqTkN2m627lcNm3WeW1H60gya3UyLNdCB3BNq/XzOa3xe0zhVb5BSke aGeFEMkkRoEwetFBgUKsjliM4c6tHU5s94KdAjzeYAh9WK4y8XLAfFN5Zsgfuw== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4MqSNx0pxvz19F2; Sat, 15 Oct 2022 15:49:21 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 29FFnLMp016517; Sat, 15 Oct 2022 15:49:21 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 29FFnLhC016516; Sat, 15 Oct 2022 15:49:21 GMT (envelope-from git) Date: Sat, 15 Oct 2022 15:49:21 GMT Message-Id: <202210151549.29FFnLhC016516@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Gleb Popov Subject: git: e836df42f75c - main - math/cryptominisat: Update to 5.11.4 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: arrowd X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: e836df42f75cbdb4798b63c8ccbaa19960a883f3 Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1665848961; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=UNzLTJ3d3JpC7B5NcjWtDi7t9a91rzs31rQTwzNTI6Q=; b=PyMoCXojddfkEwuDmIZ3q5vyRNe9xp4PmaUPD+nrGFWUnDKxYo9+C8NOe0fOfd/5e95bPZ HsaX+qvfavc7TQvvKAz5daj4+BdC4z5R5bjiYp8/PfncczUqPJj8Ncbg5bGqTfrZcLyP5E LdiAVovnVxFYm896DAFQ1xC37obM/7Zqg4nT7L22ZtNs3ZZ9UVf3E4q9kDOj8qScG2cSx6 NjMvLBnQ0x8NMxo5kfsdycBWrOTEa4l6k56KEfa4zsv2wr8vFmYVWogjAocfxzQIKWBGV0 /By12MA9PWlGwXRMUYpCWQ4uXgFWZ0YAWHtpCy7HaTGbjmcprpBnS8/uIBb73w== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1665848961; a=rsa-sha256; cv=none; b=eLeYrfC3/bIMnU8ZBTO5VfaMwRFZU81fhgA0ktNBKrMu53tWUp71Nxhr7K/j/syP84nNHZ mVxKW/0i5JnScpG8196uW2aGCpumKGBhiQCMk5N3FKWH0FLyJyosTCv+KXsszh5wxlXcSQ 8C7VFK0SsdV5D5qkHOp4WG/v+MT110NJxSJWvHcx7QJnROxrcIkUD6/coQXXjdh8Cg6bSq LIjN56PUW8AXhK+tKZNIQvioJ7aHqCeca1YC5OxCr3Hn+DJrf5hPQWKQbTDgs6o4BRBcwx jmLQkD/gkLmlNFcykDG6EQaYWxFxdS1DZaV1t1hLsJyNvWVQcDiSbT5PVXo56A== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=e836df42f75cbdb4798b63c8ccbaa19960a883f3 commit e836df42f75cbdb4798b63c8ccbaa19960a883f3 Author: Gleb Popov AuthorDate: 2022-10-15 15:47:32 +0000 Commit: Gleb Popov CommitDate: 2022-10-15 15:48:57 +0000 math/cryptominisat: Update to 5.11.4 --- math/cryptominisat/Makefile | 3 +- math/cryptominisat/distinfo | 6 ++-- math/cryptominisat/pkg-plist | 2 +- 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 - }