diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2021-04-06 20:51:15 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2021-04-06 20:51:47 +0200 |
commit | d4d142c374126879495eb125945c2b3d3e233a07 (patch) | |
tree | 68a351146b1c939f00d4634b1b71c30263610690 /sci-mathematics/coq | |
parent | app-text/enscript: port to EAPI 7 (diff) | |
download | gentoo-d4d142c374126879495eb125945c2b3d3e233a07.tar.gz gentoo-d4d142c374126879495eb125945c2b3d3e233a07.tar.bz2 gentoo-d4d142c374126879495eb125945c2b3d3e233a07.zip |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq')
-rw-r--r-- | sci-mathematics/coq/coq-8.12.0-r1.ebuild | 2 | ||||
-rw-r--r-- | 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 b1c11d4f6633..3efa55afdcd4 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 0bb383826cd3..88e7292b5a63 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" |