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"