summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFabian Groffen <grobian@gentoo.org>2008-01-28 19:19:09 +0000
committerFabian Groffen <grobian@gentoo.org>2008-01-28 19:19:09 +0000
commit42a493e3ac853b1bc48f1cfaf3f50882328539c2 (patch)
tree96dcb0d524f3150f6930900c95a77bfc516af5f9 /sci-mathematics
parentMarked stable on amd64 as per bug 207634. (diff)
downloadgentoo-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')
-rw-r--r--sci-mathematics/otter/ChangeLog7
-rw-r--r--sci-mathematics/otter/otter-3.3-r1.ebuild8
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
}