From nobody Wed Sep 14 04:42:12 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 4MS73T2ghgz4cCm1; Wed, 14 Sep 2022 04:42:13 +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 4MS73T0qzGz49nL; Wed, 14 Sep 2022 04:42:13 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1663130533; 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=2e2GtzNjq2VrI/0oQB8bRi3FXbIsL5a3fMh7lto/i+A=; b=EbfpdmSIuChs9pGGmPe0/os2dZ+1Ivp89didsagE/53vUXrHbAR4mmtzr+8faeDO7XNye/ 9n/jRNxs2oIJ9DCV3vCdYghz5QCRVF4oud2hTmfDhrcWOgq6imqk6hbhtC/HuJckI7TTK7 YXDZkjXjl6ssmHyPzlYa2zgY+mBP8R0WgQSKZG3i8O3o02yrL5qIwqb3nBYT2BkUsUuZcX Wwnxl5ndOPMRroFYfLeJJvwX9EFD5E/jO58DPkTUoueTefA4KnVvAEv/XPn0Gh5SqvGvNz leVIzWp9IfdDwmZPfFbgLH0oIdnBH5ZSawhJ2EDFRizN2AMetLL14NXL0FyGLg== 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 4MS73S73bTzZ0b; Wed, 14 Sep 2022 04:42:12 +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 28E4gCZH078332; Wed, 14 Sep 2022 04:42:12 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 28E4gC0D078331; Wed, 14 Sep 2022 04:42:12 GMT (envelope-from git) Date: Wed, 14 Sep 2022 04:42:12 GMT Message-Id: <202209140442.28E4gC0D078331@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 11f31e1c0e98 - main - math/clingo: Update 5.5.2 -> 5.6.0 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: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 11f31e1c0e9848e62366ade84b8e58ed394a11a8 Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1663130533; 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=2e2GtzNjq2VrI/0oQB8bRi3FXbIsL5a3fMh7lto/i+A=; b=W5qeYvmk0XeeB1ESL5RqtgGogUPET5MzLR2Y9QzUI9lcsU7GkU36+Y156Mrr2Lh3Uc8ac2 ODB1Oqcoe2LOvY13Ditc7E1TLZwMl1bDT/jKE7RBimj8naf7sf4uSTm+dnRM1vDdk2Xi+B 7Dm4h6suWUTRe8rwq6tfXwIKUhDf7IBhobu5c1LKX5unuB56feO1k+pnV2o6h/KKo4gX+X 4oNdf624rMj0Qd8XpSQ1aUNK1r4JIZsgi/mSOQnkSAHfX78X9pmEXk/dPgMC/uECBGKIGp NYUWrlAgOyn94241lACmjTo7XTsJwngR0S5hg9BhhDsTXcNz7tZGHMay4QhwMg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1663130533; a=rsa-sha256; cv=none; b=HPVYQ2saSqZWQgF8sPAPGlD0PI0c6e4zPzwhe6vY9re/ALqRyU06n7+cmiA5lv6vZVHqS4 F1CNs5HSmOEfF5z2RruadEhdkrLrGZTe8DTjxSi9NEapAJRojg7qgQhryBg5tyeAolPyqA YyZX74I1IUV/4U49DruLrlQna5v69Q3FrJH4uZ1sJHzqH6twr0Kg+cBNrmomvGFJi8IGGh DrOsQwhrrEng3ZMxrn+xhYckJ987guDt6S8krEP2mH9W2h6VArqDKlGXkCoihx86c2jV2z 9H9Ozt54RRysm3qoTCgrCC887FOs3PsPQNnXB8zdnwwmzeIK6EmkY4tfQJ5Qaw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=11f31e1c0e9848e62366ade84b8e58ed394a11a8 commit 11f31e1c0e9848e62366ade84b8e58ed394a11a8 Author: Yuri Victorovich AuthorDate: 2022-09-14 02:46:03 +0000 Commit: Yuri Victorovich CommitDate: 2022-09-14 04:41:14 +0000 math/clingo: Update 5.5.2 -> 5.6.0 Reported by: portscout --- math/clingo/Makefile | 21 ++++++++++++++------- math/clingo/distinfo | 22 +++++++++++++++++----- 2 files changed, 31 insertions(+), 12 deletions(-) diff --git a/math/clingo/Makefile b/math/clingo/Makefile index 2410bab89082..4a170d00d826 100644 --- a/math/clingo/Makefile +++ b/math/clingo/Makefile @@ -1,30 +1,37 @@ PORTNAME= clingo DISTVERSIONPREFIX= v -DISTVERSION= 5.5.2 +DISTVERSION= 5.6.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Grounder and solver for logic programs -WWW= https://potassco.org/ +WWW= https://potassco.org/clingo/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.md BUILD_DEPENDS= re2c:devel/re2c -USES= cmake compiler:c++14-lang +USES= cmake:testing compiler:c++14-lang +USE_LDCONFIG= yes + USE_GITHUB= yes GH_ACCOUNT= potassco -GH_TUPLE= potassco:clasp:17c4e46:potassco_clasp/clasp - -USE_LDCONFIG= yes +GH_TUPLE= potassco:clasp:4c708a7:potassco_clasp/clasp \ + catchorg:Catch2:62fd660:catch/third_party/catch \ + mpark:variant:23cb94f:variant/third_party/variant \ + TartanLlama:optional:c28fcf7:optional/third_party/optional \ + Tessil:hopscotch-map:4442316:hopscotch_map/third_party/hopscotch-map \ + Tessil:ordered-map:1619d52:ordered_map/third_party/ordered-map \ + Tessil:sparse-map:89d3053:sparse_map/third_party/sparse-map CMAKE_OFF= CLINGO_BUILD_WITH_PYTHON # broken, see https://github.com/potassco/clingo/issues/178 CMAKE_OFF+= CLINGO_BUILD_WITH_LUA +CMAKE_TESTING_ON= CLINGO_BUILD_TESTS CONFLICTS_INSTALL= clasp # only installs bin/clasp that is included in clingo -do-test: +extra-test: @${ECHO} "Testing ${PORTNAME}: solving 15puzzle" @cd ${WRKSRC}/examples/clingo/15puzzle && \ LD_LIBRARY_PATH=${STAGEDIR}${PREFIX}/lib ${STAGEDIR}${PREFIX}/bin/clingo encoding.lp instance1.lp -c consecutive=0 diff --git a/math/clingo/distinfo b/math/clingo/distinfo index 19cc4914d235..b97c63e90804 100644 --- a/math/clingo/distinfo +++ b/math/clingo/distinfo @@ -1,5 +1,17 @@ -TIMESTAMP = 1651730211 -SHA256 (potassco-clingo-v5.5.2_GH0.tar.gz) = a2a0a590485e26dce18860ac002576232d70accc5bfcb11c0c22e66beb23baa6 -SIZE (potassco-clingo-v5.5.2_GH0.tar.gz) = 3136393 -SHA256 (potassco-clasp-17c4e46_GH0.tar.gz) = fe65a7580849948daf00343a5f9fb92a495aee9a8daf61eb63d86a9d36cbaec6 -SIZE (potassco-clasp-17c4e46_GH0.tar.gz) = 677901 +TIMESTAMP = 1663122601 +SHA256 (potassco-clingo-v5.6.0_GH0.tar.gz) = 2891ecfcccbe728168ac27d62c3036aae0164b15b219b4954fb18614eda79f53 +SIZE (potassco-clingo-v5.6.0_GH0.tar.gz) = 3741641 +SHA256 (potassco-clasp-4c708a7_GH0.tar.gz) = 9dc6d49b017b970fbee62296bde2eed2b9e02b9d025458548f7fbf740c427968 +SIZE (potassco-clasp-4c708a7_GH0.tar.gz) = 677863 +SHA256 (catchorg-Catch2-62fd660_GH0.tar.gz) = 6ffb927225dcae98bcb3f1af908f2cc5cd9a71cfdb29f7a3995aad1fd8336840 +SIZE (catchorg-Catch2-62fd660_GH0.tar.gz) = 661905 +SHA256 (mpark-variant-23cb94f_GH0.tar.gz) = e29ba09f184022095f558b043d85a61c1585020095c232e969dc1179a312de9f +SIZE (mpark-variant-23cb94f_GH0.tar.gz) = 33918 +SHA256 (TartanLlama-optional-c28fcf7_GH0.tar.gz) = 6f9fdc78582d34bf50d7bb9379de3d5185a5dd93be664e0c01e9d54fcbe0872d +SIZE (TartanLlama-optional-c28fcf7_GH0.tar.gz) = 22257 +SHA256 (Tessil-hopscotch-map-4442316_GH0.tar.gz) = 60266643f4682fd9d476d7e80a29693d9824863a334483ad72ebf8f3b3d41d32 +SIZE (Tessil-hopscotch-map-4442316_GH0.tar.gz) = 70706 +SHA256 (Tessil-ordered-map-1619d52_GH0.tar.gz) = d84f853910a120b5e81732e9068a457ca1237c2eff7b63e735ad901d2936331c +SIZE (Tessil-ordered-map-1619d52_GH0.tar.gz) = 67442 +SHA256 (Tessil-sparse-map-89d3053_GH0.tar.gz) = 9d705edfb2dc6051168a1a1c72dfecc52c06248be2c24cbd64bca39efe9fcc3b +SIZE (Tessil-sparse-map-89d3053_GH0.tar.gz) = 71486