commit: d4d142c374126879495eb125945c2b3d3e233a07 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Tue Apr 6 18:51:15 2021 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Tue Apr 6 18:51:47 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d4d142c3
sci-mathematics/coq: serialize install Closes: https://bugs.gentoo.org/780114 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> sci-mathematics/coq/coq-8.12.0-r1.ebuild | 2 +- sci-mathematics/coq/coq-8.13.0.ebuild | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/coq/coq-8.12.0-r1.ebuild b/sci-mathematics/coq/coq-8.12.0-r1.ebuild index b1c11d4f663..3efa55afdcd 100644 --- a/sci-mathematics/coq/coq-8.12.0-r1.ebuild +++ b/sci-mathematics/coq/coq-8.12.0-r1.ebuild @@ -83,7 +83,7 @@ src_test() { } src_install() { - emake STRIP="true" COQINSTALLPREFIX="${D}" install VERBOSE=1 + emake STRIP="true" COQINSTALLPREFIX="${D}" install -j1 VERBOSE=1 dodoc README.md CREDITS use gtk && make_desktop_entry "coqide" "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png" diff --git a/sci-mathematics/coq/coq-8.13.0.ebuild b/sci-mathematics/coq/coq-8.13.0.ebuild index 0bb383826cd..88e7292b5a6 100644 --- a/sci-mathematics/coq/coq-8.13.0.ebuild +++ b/sci-mathematics/coq/coq-8.13.0.ebuild @@ -81,7 +81,7 @@ src_test() { } src_install() { - emake STRIP="true" COQINSTALLPREFIX="${D}" install VERBOSE=1 + emake STRIP="true" COQINSTALLPREFIX="${D}" install -j1 VERBOSE=1 dodoc README.md CREDITS use gtk && make_desktop_entry "coqide" "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png"
