From d4d142c374126879495eb125945c2b3d3e233a07 Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Tue, 6 Apr 2021 20:51:15 +0200 Subject: [PATCH] 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 --- 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 b1c11d4f66339..3efa55afdcd44 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 0bb383826cd34..88e7292b5a635 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"