diff options
author | Alexis Ballier <aballier@gentoo.org> | 2008-01-16 12:31:16 +0000 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2008-01-16 12:31:16 +0000 |
commit | 819467274cff3c3077bdeaace8803a8af7044023 (patch) | |
tree | ed33911795db4a07c1065eb93660090b24857154 /sci-mathematics | |
parent | alpha/ia64/sparc stable wrt security #205197 (diff) | |
download | gentoo-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/ChangeLog | 5 | ||||
-rw-r--r-- | sci-mathematics/coq/coq-8.1_p3.ebuild | 5 |
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() { |