summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2008-01-16 12:31:16 +0000
committerAlexis Ballier <aballier@gentoo.org>2008-01-16 12:31:16 +0000
commit819467274cff3c3077bdeaace8803a8af7044023 (patch)
treeed33911795db4a07c1065eb93660090b24857154 /sci-mathematics
parentalpha/ia64/sparc stable wrt security #205197 (diff)
downloadgentoo-2-819467274cff3c3077bdeaace8803a8af7044023.tar.gz
gentoo-2-819467274cff3c3077bdeaace8803a8af7044023.tar.bz2
gentoo-2-819467274cff3c3077bdeaace8803a8af7044023.zip
disable again parallel make... not safe in some rare cases, bug #197389
(Portage version: 2.1.4)
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/coq/ChangeLog5
-rw-r--r--sci-mathematics/coq/coq-8.1_p3.ebuild5
2 files changed, 6 insertions, 4 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog
index 2ac2058a1870..ecc8ffd39c6d 100644
--- a/sci-mathematics/coq/ChangeLog
+++ b/sci-mathematics/coq/ChangeLog
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/coq
# Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.24 2008/01/03 17:41:59 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.25 2008/01/16 12:31:16 aballier Exp $
+
+ 16 Jan 2008; Alexis Ballier <aballier@gentoo.org> coq-8.1_p3.ebuild:
+ disable again parallel make... not safe in some rare cases, bug #197389
03 Jan 2008; Alexis Ballier <aballier@gentoo.org>
+files/coq-8.1_p3-cmxa-install.dpatch, +files/coq-8.1_p3-noocamlopt.patch,
diff --git a/sci-mathematics/coq/coq-8.1_p3.ebuild b/sci-mathematics/coq/coq-8.1_p3.ebuild
index 638ac4dcd961..6fdb3c8ec30f 100644
--- a/sci-mathematics/coq/coq-8.1_p3.ebuild
+++ b/sci-mathematics/coq/coq-8.1_p3.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2008 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.4 2008/01/03 19:44:17 mr_bones_ Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.5 2008/01/16 12:31:16 aballier Exp $
inherit eutils multilib
@@ -79,8 +79,7 @@ src_compile() {
sed -i -e "s|COQIDEFLAGS=.*|COQIDEFLAGS=-thread -I ${labldir}|" Makefile
fi
- emake -j1 alldepend || die "make failed"
- emake worldnodep || die "make failed"
+ emake -j1 || die "make failed"
}
src_install() {