diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-03-21 14:34:00 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-21 14:36:04 +0100 |
| commit | 5d07ea9a62bc5988e9fcf1b53e1f985f93e58747 (patch) | |
| tree | a05970c3dd9c9f042f2b8bbe78fa13677f19861d /sci-mathematics/z3 | |
| parent | net-wireless/nanovna-saver: enable py3.10, add USE deps and tests (diff) | |
| download | gentoo-5d07ea9a62bc5988e9fcf1b53e1f985f93e58747.tar.gz gentoo-5d07ea9a62bc5988e9fcf1b53e1f985f93e58747.tar.bz2 gentoo-5d07ea9a62bc5988e9fcf1b53e1f985f93e58747.zip | |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics/z3')
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.14-r1.ebuild (renamed from sci-mathematics/z3/z3-4.8.14.ebuild) | 4 | ||||
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.15-r1.ebuild (renamed from sci-mathematics/z3/z3-4.8.15.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 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 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) |