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 | 502642a0fcd7be8f42398366207c1f4b7877503e (patch) | |
| tree | 03f7bc446ce09e945c08d32fc340564695e6ab89 /sci-mathematics/coq/ChangeLog | |
| parent | Sparc stable, Bug #197220 --- I've been using this for 2 months. (diff) | |
| download | historical-502642a0fcd7be8f42398366207c1f4b7877503e.tar.gz historical-502642a0fcd7be8f42398366207c1f4b7877503e.tar.bz2 historical-502642a0fcd7be8f42398366207c1f4b7877503e.zip | |
restrict also installsources as it has the same problem with ocaml... it kills ocamlc -custom executables
Package-Manager: portage-2.1.4
Diffstat (limited to 'sci-mathematics/coq/ChangeLog')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 6 |
1 files changed, 5 insertions, 1 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 |