From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 0D591158094 for ; Sat, 23 Jul 2022 17:41:08 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 3EE9FE07C9; Sat, 23 Jul 2022 17:41:07 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (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) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 1A788E07C9 for ; Sat, 23 Jul 2022 17:41:07 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (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) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 7CDB4340DD1 for ; Sat, 23 Jul 2022 17:41:05 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id D988E548 for ; Sat, 23 Jul 2022 17:41:03 +0000 (UTC) From: "Maciej Barć" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Maciej Barć" Message-ID: <1658598060.09e3e38929c16b3cfde3d2ac41d780fc2c3bc9ba.xgqt@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/ X-VCS-Repository: repo/gentoo X-VCS-Files: sci-mathematics/vampire/Manifest sci-mathematics/vampire/vampire-4.7.ebuild X-VCS-Directories: sci-mathematics/vampire/ X-VCS-Committer: xgqt X-VCS-Committer-Name: Maciej Barć X-VCS-Revision: 09e3e38929c16b3cfde3d2ac41d780fc2c3bc9ba X-VCS-Branch: master Date: Sat, 23 Jul 2022 17:41:03 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: ea50a8e4-b685-4208-8af7-7c2f22dcb620 X-Archives-Hash: 6b18e82e1cc3102aad29a89f8da06de7 commit: 09e3e38929c16b3cfde3d2ac41d780fc2c3bc9ba Author: Maciej Barć gentoo org> AuthorDate: Sat Jul 23 17:28:01 2022 +0000 Commit: Maciej Barć gentoo org> CommitDate: Sat Jul 23 17:41:00 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=09e3e389 sci-mathematics/vampire: bump to 4.7 Signed-off-by: Maciej Barć gentoo.org> sci-mathematics/vampire/Manifest | 1 + sci-mathematics/vampire/vampire-4.7.ebuild | 57 ++++++++++++++++++++++++++++++ 2 files changed, 58 insertions(+) diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest index fc80f8c57360..68e6a43c3a78 100644 --- a/sci-mathematics/vampire/Manifest +++ b/sci-mathematics/vampire/Manifest @@ -1 +1,2 @@ DIST vampire-4.6.1.tar.gz 1511760 BLAKE2B 52ede8ac009379b15bc57b2ffe45965cbaf772f0e90bc619d859b85b77ce81eadbdd7ddae7c5e0e9cc69564a07f0abefa17109f7192e6afe634a5a929817fe92 SHA512 7ffeee64e9e4666344c0f9155c7e980920666813388416062cee89e43003fef5a8a54b8656cc42d2fa58b6fb3b87ef7f2c671bfc6787075df4058dcc3a1d46e1 +DIST vampire-4.7.tar.gz 1462358 BLAKE2B 10fdf4076bbcd7113da575d19890634a5142dd6917c028eb7ae0e94405df9e6915fc6127956d39b6f9f97242958b0fa04fa9e835853f09cec381786862009ef5 SHA512 978169a9b4d561dce1d55aa9a61a8b302657ff758036309d9c5f58a5d9271b874ac020d110fbb2a16d34f2ccdd10a497eb469829c91d58530dba5e1cd8978d78 diff --git a/sci-mathematics/vampire/vampire-4.7.ebuild b/sci-mathematics/vampire/vampire-4.7.ebuild new file mode 100644 index 000000000000..bd33eda2b980 --- /dev/null +++ b/sci-mathematics/vampire/vampire-4.7.ebuild @@ -0,0 +1,57 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +H=2d02e4655e1b08d1ca9ee7c0aade40f59f046460 # "bump to 4.7" + +inherit cmake + +DESCRIPTION="The Vampire Prover, theorem prover for first-order logic" +HOMEPAGE="https://vprover.github.io" + +if [[ ${PV} == *9999* ]] ; then + inherit git-r3 + EGIT_REPO_URI="https://github.com/vprover/${PN}.git" + EGIT_SUBMODULES=() +else + SRC_URI="https://github.com/vprover/${PN}/archive/${H}.tar.gz + -> ${P}.tar.gz" + S="${WORKDIR}"/${PN}-${H} + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="BSD" +SLOT="0/${PV}" +IUSE="debug +z3" +# debug mode needs to be enabled for tests +# https://github.com/vprover/vampire/blob/8197e1d2d86a0b276b5fcb6c02d8122f66b7277e/CMakeLists.txt#L38 +RESTRICT="!debug? ( test )" + +RDEPEND=" + z3? ( + dev-libs/gmp:= +