From nobody Sun Jan 7 20:40:53 2024 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 4T7Tc540cFz55vH8; Sun, 7 Jan 2024 20:40:53 +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 4T7Tc53FmVz4prc; Sun, 7 Jan 2024 20:40:53 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1704660053; 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=8MjqJp2PNhwGQMT5ruXexVutDNdC6cJMA+TsIlRwUbM=; b=M3r0DpxArlgw3v70I/2KUbXNoCqHs4WXY+2Mv8baa0ACaPKCYgc/BteVuDiex+WibFfs+f eJP373CIgtGAPjaL41FK+uHteltUdckF9buPjdsMO1VHeXQgHUUx1DDGOWPBLbW7TyrnER iNr7E8DNV3YTPI6jp7PXDIxYjDfFRLgJsSgiE34Btfz8zp8yKTCnkUXptd61aOB3W9FFKn cTbU9HainyBhRE95N5+tMkTMVb3+F5Z6EBtbjMLcZJ3z5h6u+dI2HX2d7URkrZ6Af6umE5 foXeBZnvReE6vqyR/4htHleOxXhALdd7B/npOoTh+AW4MYOI6l7ZcuN80XFBJQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1704660053; 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=8MjqJp2PNhwGQMT5ruXexVutDNdC6cJMA+TsIlRwUbM=; b=LL4CqKBjVQhkZ5ASMPyuA/F6QXfaKhTJXN5Ows2bTsDe50r6XDo6uqsOu3Lj4MOjrpG2DR P5B9lXJKyCNL9TegC1t6ToX4K30Yq2ptUnPBimVEtLjeeoDbsJpr+idPw5Ys7uRy7Qzt5m U08kkXQvRDh00CkNaaEW+r+cSkaLIZiUWWRPhj0ANSxjwbVA8hvA4myaWeeUsKF19gAsgk 7YHm5MQ8jaEy9T4g33M+ID+Hnqdpc/kPyqwnHWlmvnnclFrchbBRd2hcghZ+V7nBjknh3a 8PTzLE2GanHOT5c2oMAwY89JtZeW5m9XwJUnjXqS+bXGVP7qLpBDMQj0Bcz/xg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1704660053; a=rsa-sha256; cv=none; b=V3UUW0FhfaorKcrwjbc/+1PragmbK5PCD+oeXyISvmnBDBpuKgfYjbvLViE1b33jXckCOJ p7m+O8j7WMHIQxr9Hs1c7RqnfRUORgDrj2xH4ZSffVkg1sVdOItzS07gn5rsacfapC50Ju FAcIbIC7ZIt4zqszlkyMCL0kbgFcUevz5661+/QAfTcj1EvtXVRsXGuayUvPWf4dFA7iLD dSamcqKjCIwCvJnpBdxs5oJsjqp7pHAkBi80MtTRfHT7a5S8/UcnJhBsDfDj11l95UgJi3 8DmaGWMVOP+xtIkSOREJ5DC/n7GJ+I4TOcs5GnhLVodcKXBNF04jE2/8QG7i7w== 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 4T7Tc52HmGzfgP; Sun, 7 Jan 2024 20:40:53 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 407Ker4H010113; Sun, 7 Jan 2024 20:40:53 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 407Kerh5010110; Sun, 7 Jan 2024 20:40:53 GMT (envelope-from git) Date: Sun, 7 Jan 2024 20:40:53 GMT Message-Id: <202401072040.407Kerh5010110@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: cf32d424195e - main - math/cvc5: update 1.0.8 =?utf-8?Q?=E2=86=92?= 1.1.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: cf32d424195e2314e3b7eb9f83584af6e697b51c Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=cf32d424195e2314e3b7eb9f83584af6e697b51c commit cf32d424195e2314e3b7eb9f83584af6e697b51c Author: Yuri Victorovich AuthorDate: 2024-01-07 20:36:03 +0000 Commit: Yuri Victorovich CommitDate: 2024-01-07 20:40:49 +0000 math/cvc5: update 1.0.8 → 1.1.0 Reported by: portscout --- math/cvc5/Makefile | 5 +++-- math/cvc5/distinfo | 8 +++----- math/cvc5/pkg-plist | 3 ++- 3 files changed, 8 insertions(+), 8 deletions(-) diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile index 566c591db89b..7791bd04a7f8 100644 --- a/math/cvc5/Makefile +++ b/math/cvc5/Makefile @@ -1,7 +1,6 @@ PORTNAME= cvc5 DISTVERSIONPREFIX= cvc5- -DISTVERSION= 1.0.8 -PORTREVISION= 1 +DISTVERSION= 1.1.0 CATEGORIES= math java EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} @@ -38,6 +37,8 @@ CMAKE_TESTING_ON= ENABLE_UNIT_TESTING CMAKE_TESTING_TARGET= check # check target runs only quick tests (based on https://github.com/cvc5/cvc5/issues/9569#issuecomment-1484943348) #CMAKE_TESTING_TARGET= test # test target also runs longer tests, 2 of which fail, see https://github.com/cvc5/cvc5/issues/9569 +PLIST_SUB= VERSION=${DISTVERSION} + OPTIONS_DEFINE= COCOALIB EDITLINE JAVA OPTIONS_GROUP= SOLVERS OPTIONS_GROUP_SOLVERS= CRYPTOMINISAT KISSAT diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo index f98288404c52..475cdbd10b3d 100644 --- a/math/cvc5/distinfo +++ b/math/cvc5/distinfo @@ -1,5 +1,3 @@ -TIMESTAMP = 1694965126 -SHA256 (antlr-3.4-complete.jar) = 9d3e866b610460664522520f73b81777b5626fb0a282a5952b9800b751550bf7 -SIZE (antlr-3.4-complete.jar) = 2388361 -SHA256 (cvc5-cvc5-cvc5-1.0.8_GH0.tar.gz) = 9b61c6e27609db154657f105d7271a03b7798047b3aab1ca2ab58910fac788ba -SIZE (cvc5-cvc5-cvc5-1.0.8_GH0.tar.gz) = 8393754 +TIMESTAMP = 1704605131 +SHA256 (cvc5-cvc5-cvc5-1.1.0_GH0.tar.gz) = 701a1a6b35b5f06d8f0d812ab97896c8e69c2d48076c0dae8e27a9fa0dbc5829 +SIZE (cvc5-cvc5-cvc5-1.1.0_GH0.tar.gz) = 8496968 diff --git a/math/cvc5/pkg-plist b/math/cvc5/pkg-plist index 9cf6f348cfe8..1edc774c45d2 100644 --- a/math/cvc5/pkg-plist +++ b/math/cvc5/pkg-plist @@ -3,6 +3,7 @@ include/cvc5/cvc5.h include/cvc5/cvc5_export.h include/cvc5/cvc5_kind.h include/cvc5/cvc5_parser.h +include/cvc5/cvc5_proof_rule.h include/cvc5/cvc5_types.h lib/cmake/cvc5/cvc5Config.cmake lib/cmake/cvc5/cvc5ConfigVersion.cmake @@ -14,5 +15,5 @@ lib/libcvc5.so.1 %%JAVA%%lib/libcvc5jni.so lib/libcvc5parser.so lib/libcvc5parser.so.1 -%%JAVA%%%%JAVASHAREDIR%%/cvc5-1.0.8.jar +%%JAVA%%%%JAVASHAREDIR%%/cvc5-%%VERSION%%.jar %%JAVA%%%%JAVASHAREDIR%%/cvc5.jar