gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/coq: serialize install

Browse Source 
Closes: https://bugs.gentoo.org/780114
Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2021-04-06 20:51:15 +02:00
parent a7a39bce36
commit d4d142c374
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/coq/coq-8.12.0-r1.ebuild
View File

@@ -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"

2
sci-mathematics/coq/coq-8.13.0.ebuild
View File

@@ -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"