[patch] Patch to the ebuild that could let installation complete

0001-dev-ml-dune-Change-path-to-doc-and-man-in-build-dire.patch (text/plain), 1.17 KB, created by Yuan Liao (Leo3418) on 2021-03-04 23:32:01 UTC

From c2045dfa1dcc9fd1516b0626de8b0999f3f0d73c Mon Sep 17 00:00:00 2001
From: Yuan Liao <[e-mail]>
Date: Thu, 4 Mar 2021 15:15:29 -0800
Subject: [PATCH] dev-ml/dune: Change path to doc and man in build directory

'/usr/doc' and '/usr/man' are nonexistent paths under the build
directory, which will cause the two 'mv' commands installing them into
/usr/share fail.  This issue actually already exists for the previous
version's ebuild (2.7.1), but the last ebuild's 'mv' commands would not
'die' upon failure, so this issue would slip away.

Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Yuan Liao <[e-mail]>
---
 dev-ml/dune/dune-2.8.2.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/dune/dune-2.8.2.ebuild b/dev-ml/dune/dune-2.8.2.ebuild
index 1236c128d..591af4dab 100644
--- a/dev-ml/dune/dune-2.8.2.ebuild
+++ b/dev-ml/dune/dune-2.8.2.ebuild
@@ -42,6 +42,6 @@ src_compile() {
 
 src_install() {
 	default
-	mv "${ED}"/usr/doc "${ED}"/usr/share/doc/${PF} || die
-	mv "${ED}"/usr/man "${ED}"/usr/share/man || die
+	mv "${ED}"/doc "${ED}"/usr/share/doc/${PF} || die
+	mv "${ED}"/man "${ED}"/usr/share/man || die
 }
-- 
2.26.2