diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2008-01-16 13:35:34 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2008-01-16 13:35:34 +0000 |
| commit | 3997b18d1379ce7969f6241989c99df55b3a7183 (patch) | |
| tree | 109e313665ce3654991f2b3e686231c7be60d1dc /sci-mathematics | |
| parent | Sparc stable, Bug #197220 --- I've been using this for 2 months. (diff) | |
| download | gentoo-2-3997b18d1379ce7969f6241989c99df55b3a7183.tar.gz gentoo-2-3997b18d1379ce7969f6241989c99df55b3a7183.tar.bz2 gentoo-2-3997b18d1379ce7969f6241989c99df55b3a7183.zip | |
restrict also installsources as it has the same problem with ocaml... it kills ocamlc -custom executables
(Portage version: 2.1.4)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.1_p3.ebuild | 4 |
2 files changed, 7 insertions, 3 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index ecc8ffd39c6d..237beeb50f69 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,10 @@ # 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.25 2008/01/16 12:31:16 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.26 2008/01/16 13:35:34 aballier Exp $ + + 16 Jan 2008; Alexis Ballier <aballier@gentoo.org> coq-8.1_p3.ebuild: + restrict also installsources as it has the same problem with ocaml... it + kills ocamlc -custom executables 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 diff --git a/sci-mathematics/coq/coq-8.1_p3.ebuild b/sci-mathematics/coq/coq-8.1_p3.ebuild index 6fdb3c8ec30f..00d53fbf48e4 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.5 2008/01/16 12:31:16 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.6 2008/01/16 13:35:34 aballier Exp $ inherit eutils multilib @@ -8,7 +8,7 @@ EAPI="1" IUSE="norealanalysis ide debug +ocamlopt" -RESTRICT="strip" +RESTRICT="strip installsources" MY_PV="${PV/_p/pl}" MY_P="${PN}-${MY_PV}" |