From nobody Thu Nov 18 06:33:45 2021 X-Original-To: dev-commits-ports-main@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 9D8CC1895997; Thu, 18 Nov 2021 06:33:46 +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 4Hvqkf0Xmcz3k60; Thu, 18 Nov 2021 06:33:46 +0000 (UTC) (envelope-from git@FreeBSD.org) 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 CB55510434; Thu, 18 Nov 2021 06:33:45 +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 1AI6XjZn074721; Thu, 18 Nov 2021 06:33:45 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 1AI6Xj5P074720; Thu, 18 Nov 2021 06:33:45 GMT (envelope-from git) Date: Thu, 18 Nov 2021 06:33:45 GMT Message-Id: <202111180633.1AI6Xj5P074720@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: 3c616f34fa11 - main - math/clingo: Update 5.5.0 -> 5.5.1 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@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: 3c616f34fa11acfbe62d68e4ea62fd5343d37776 Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=3c616f34fa11acfbe62d68e4ea62fd5343d37776 commit 3c616f34fa11acfbe62d68e4ea62fd5343d37776 Author: Yuri Victorovich AuthorDate: 2021-11-18 03:29:54 +0000 Commit: Yuri Victorovich CommitDate: 2021-11-18 06:33:40 +0000 math/clingo: Update 5.5.0 -> 5.5.1 Reported by: portscout --- math/clingo/Makefile | 9 ++++----- math/clingo/distinfo | 12 +++++------- 2 files changed, 9 insertions(+), 12 deletions(-) diff --git a/math/clingo/Makefile b/math/clingo/Makefile index c34236782af4..8d583c170bca 100644 --- a/math/clingo/Makefile +++ b/math/clingo/Makefile @@ -1,6 +1,6 @@ PORTNAME= clingo DISTVERSIONPREFIX= v -DISTVERSION= 5.5.0 +DISTVERSION= 5.5.1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -14,8 +14,7 @@ BUILD_DEPENDS= re2c:devel/re2c USES= cmake compiler:c++14-lang USE_GITHUB= yes GH_ACCOUNT= potassco -GH_TUPLE= potassco:clasp:a8dfc0a:potassco_clasp/clasp \ - potassco:libpotassco:2f9fb7ca2c202f1b47643aa414054f2f4f9c1821:potassco_libpotassco/clasp/libpotassco +GH_TUPLE= potassco:clasp:da10954:potassco_clasp/clasp USE_LDCONFIG= yes @@ -25,8 +24,8 @@ CMAKE_OFF+= CLINGO_BUILD_WITH_LUA CONFLICTS_INSTALL= clasp # only installs bin/clasp that is included in clingo do-test: - ${ECHO} "Testing ${PORTNAME}: solving 15puzzle" + @${ECHO} "Testing ${PORTNAME}: solving 15puzzle" @cd ${WRKSRC}/examples/clingo/15puzzle && \ - ${STAGEDIR}${PREFIX}/bin/clingo encoding.lp instance1.lp -c consecutive=0 + LD_LIBRARY_PATH=${STAGEDIR}${PREFIX}/lib ${STAGEDIR}${PREFIX}/bin/clingo encoding.lp instance1.lp -c consecutive=0 .include diff --git a/math/clingo/distinfo b/math/clingo/distinfo index 9cef14bc2b2c..5b508eaa0b87 100644 --- a/math/clingo/distinfo +++ b/math/clingo/distinfo @@ -1,7 +1,5 @@ -TIMESTAMP = 1619035809 -SHA256 (potassco-clingo-v5.5.0_GH0.tar.gz) = c9d7004a0caec61b636ad1c1960fbf339ef8fdee9719321fc1b6b210613a8499 -SIZE (potassco-clingo-v5.5.0_GH0.tar.gz) = 3027366 -SHA256 (potassco-clasp-a8dfc0a_GH0.tar.gz) = f96cf2baf9522e7a69a58cfe20f41aecf59b9509129e0ee4f6cb674ca89bd358 -SIZE (potassco-clasp-a8dfc0a_GH0.tar.gz) = 627911 -SHA256 (potassco-libpotassco-2f9fb7ca2c202f1b47643aa414054f2f4f9c1821_GH0.tar.gz) = 41eb8b7d87ecea48392de4ada455cda179cbd62fd63496355dea87e1e44b599f -SIZE (potassco-libpotassco-2f9fb7ca2c202f1b47643aa414054f2f4f9c1821_GH0.tar.gz) = 210177 +TIMESTAMP = 1637203259 +SHA256 (potassco-clingo-v5.5.1_GH0.tar.gz) = b9cf2ba2001f8241b8b1d369b6f353e628582e2a00f13566e51c03c4dd61f67e +SIZE (potassco-clingo-v5.5.1_GH0.tar.gz) = 3031728 +SHA256 (potassco-clasp-da10954_GH0.tar.gz) = 7e5854859cba46f2a2f07255e67ef0893cdb83ca61f3049f1e30ae44fcdcc80f +SIZE (potassco-clasp-da10954_GH0.tar.gz) = 628353