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)
