diff options
| author |   Fabian Groffen <grobian@gentoo.org> | 2008-01-28 19:19:09 +0000 |
|---|---|---|
| committer | Fabian Groffen <grobian@gentoo.org> | 2008-01-28 19:19:09 +0000 |
| commit | 42a493e3ac853b1bc48f1cfaf3f50882328539c2 (patch) | |
| tree | 96dcb0d524f3150f6930900c95a77bfc516af5f9 /sci-mathematics/otter | |
| parent | Marked stable on amd64 as per bug 207634. (diff) | |
| download | gentoo-2-42a493e3ac853b1bc48f1cfaf3f50882328539c2.tar.gz gentoo-2-42a493e3ac853b1bc48f1cfaf3f50882328539c2.tar.bz2 gentoo-2-42a493e3ac853b1bc48f1cfaf3f50882328539c2.zip | |
Dropped ppc-macos keyword, see you in prefix
(Portage version: 2.1.3.19)
Diffstat (limited to 'sci-mathematics/otter')
| -rw-r--r-- | sci-mathematics/otter/ChangeLog | 7 | ||||
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r1.ebuild | 8 |
2 files changed, 9 insertions, 6 deletions
diff --git a/sci-mathematics/otter/ChangeLog b/sci-mathematics/otter/ChangeLog index 6ce49859f5a7..59fda13d3bc7 100644 --- a/sci-mathematics/otter/ChangeLog +++ b/sci-mathematics/otter/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/otter -# Copyright 2002-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/ChangeLog,v 1.9 2007/07/31 21:57:29 phreak Exp $ +# Copyright 2002-2008 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/ChangeLog,v 1.10 2008/01/28 19:19:09 grobian Exp $ + + 28 Jan 2008; Fabian Groffen <grobian@gentoo.org> otter-3.3-r1.ebuild: + Dropped ppc-macos keyword, see you in prefix 31 Jul 2007; Christian Heim <phreak@gentoo.org> metadata.xml: Reassigning to sci from math-proof (see #138059 for reference). diff --git a/sci-mathematics/otter/otter-3.3-r1.ebuild b/sci-mathematics/otter/otter-3.3-r1.ebuild index f833477d3938..4788f537c19a 100644 --- a/sci-mathematics/otter/otter-3.3-r1.ebuild +++ b/sci-mathematics/otter/otter-3.3-r1.ebuild @@ -1,12 +1,12 @@ -# Copyright 1999-2005 Gentoo Foundation +# Copyright 1999-2008 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3-r1.ebuild,v 1.4 2007/07/13 05:28:09 mr_bones_ Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3-r1.ebuild,v 1.5 2008/01/28 19:19:09 grobian Exp $ DESCRIPTION="An Automated Deduction System." SRC_URI="http://www-unix.mcs.anl.gov/AR/${PN}/${P}.tar.gz" HOMEPAGE="http://www-unix.mcs.anl.gov/AR/otter/" -KEYWORDS="~amd64 ~ppc ~ppc-macos x86" +KEYWORDS="~amd64 ~ppc x86" LICENSE="otter" SLOT="0" IUSE="" @@ -15,7 +15,7 @@ DEPEND="virtual/libc" src_compile() { cd source make || die - cd ${S}/mace2 + cd "${S}"/mace2 make || die } |