From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path: <gentoo-commits+bounces-1378215-garchives=archives.gentoo.org@lists.gentoo.org>
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 7E14E15808B
for <garchives@archives.gentoo.org>; Mon, 21 Mar 2022 13:36:16 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
by pigeon.gentoo.org (Postfix) with SMTP id C2C77E08EB;
Mon, 21 Mar 2022 13:36:14 +0000 (UTC)
Received: from smtp.gentoo.org (smtp.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4])
(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 983A3E08EB
for <gentoo-commits@lists.gentoo.org>; Mon, 21 Mar 2022 13:36:14 +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))
(No client certificate requested)
by smtp.gentoo.org (Postfix) with ESMTPS id A2C5F343042
for <gentoo-commits@lists.gentoo.org>; Mon, 21 Mar 2022 13:36:13 +0000 (UTC)
Received: from localhost.localdomain (localhost [IPv6:::1])
by oystercatcher.gentoo.org (Postfix) with ESMTP id 33576320
for <gentoo-commits@lists.gentoo.org>; Mon, 21 Mar 2022 13:36:12 +0000 (UTC)
From: "Maciej Barć" <xgqt@gentoo.org>
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ć" <xgqt@gentoo.org>
Message-ID: <1647869764.5d07ea9a62bc5988e9fcf1b53e1f985f93e58747.xgqt@gentoo>
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
X-VCS-Repository: repo/gentoo
X-VCS-Files: sci-mathematics/z3/z3-4.8.14-r1.ebuild sci-mathematics/z3/z3-4.8.14.ebuild sci-mathematics/z3/z3-4.8.15-r1.ebuild sci-mathematics/z3/z3-4.8.15.ebuild
X-VCS-Directories: sci-mathematics/z3/
X-VCS-Committer: xgqt
X-VCS-Committer-Name: Maciej Barć
X-VCS-Revision: 5d07ea9a62bc5988e9fcf1b53e1f985f93e58747
X-VCS-Branch: master
Date: Mon, 21 Mar 2022 13:36:12 +0000 (UTC)
Precedence: bulk
List-Post: <mailto:gentoo-commits@lists.gentoo.org>
List-Help: <mailto:gentoo-commits+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-commits+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-commits+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-commits.gentoo.org>
X-BeenThere: gentoo-commits@lists.gentoo.org
X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply
X-Archives-Salt: d877b060-3a2a-42af-9620-fccbde4febc3
X-Archives-Hash: 6fe5ea8be8b384de59bd0e9febe12d69
commit: 5d07ea9a62bc5988e9fcf1b53e1f985f93e58747
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Mar 21 13:34:00 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Mar 21 13:36:04 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5d07ea9a
sci-mathematics/z3: fix documentation
- add missing dot dependency
- install documentation into correct directory (use PF)
Closes: https://bugs.gentoo.org/818991
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/z3/{z3-4.8.14.ebuild => z3-4.8.14-r1.ebuild} | 4 ++--
sci-mathematics/z3/{z3-4.8.15.ebuild => z3-4.8.15-r1.ebuild} | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/z3/z3-4.8.14.ebuild b/sci-mathematics/z3/z3-4.8.14-r1.ebuild
similarity index 96%
rename from sci-mathematics/z3/z3-4.8.14.ebuild
rename to sci-mathematics/z3/z3-4.8.14-r1.ebuild
index 513000b5c713..9789ce8a98e1 100644
--- a/sci-mathematics/z3/z3-4.8.14.ebuild
+++ b/sci-mathematics/z3/z3-4.8.14-r1.ebuild
@@ -24,7 +24,7 @@ RDEPEND="${PYTHON_DEPS}
DEPEND="${RDEPEND}
java? ( >=virtual/jdk-1.8 )"
BDEPEND="
- doc? ( app-doc/doxygen )"
+ doc? ( app-doc/doxygen[dot] )"
PATCHES=(
"${FILESDIR}/${P}-libatomic.patch" #bug 835003
@@ -39,7 +39,7 @@ src_prepare() {
multilib_src_configure() {
local mycmakeargs=(
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${P}"
+ -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}"
-DZ3_USE_LIB_GMP=$(usex gmp)
-DZ3_ENABLE_EXAMPLE_TARGETS=OFF
-DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc)
diff --git a/sci-mathematics/z3/z3-4.8.15.ebuild b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
similarity index 96%
rename from sci-mathematics/z3/z3-4.8.15.ebuild
rename to sci-mathematics/z3/z3-4.8.15-r1.ebuild
index bf4bf014f011..04689aa94acc 100644
--- a/sci-mathematics/z3/z3-4.8.15.ebuild
+++ b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
@@ -24,7 +24,7 @@ RDEPEND="${PYTHON_DEPS}
DEPEND="${RDEPEND}
java? ( >=virtual/jdk-1.8 )"
BDEPEND="
- doc? ( app-doc/doxygen )"
+ doc? ( app-doc/doxygen[dot] )"
CMAKE_BUILD_TYPE=RelWithDebInfo
@@ -35,7 +35,7 @@ src_prepare() {
multilib_src_configure() {
local mycmakeargs=(
- -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${P}"
+ -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}"
-DZ3_USE_LIB_GMP=$(usex gmp)
-DZ3_ENABLE_EXAMPLE_TARGETS=OFF
-DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc)