[gentoo-commits] proj/sci:master commit in: sci-mathematics/flocq/

["Justin Lecher" <jlec@gentoo.org>]

commit:     5e01c9660616dff9d96876056d983de42bd9ded1
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Sat Jun 25 07:50:45 2011 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sat Jun 25 07:50:45 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=5e01c966

Define EAPI after inherit

(Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916)

---
 sci-mathematics/flocq/ChangeLog          |    3 +++
 sci-mathematics/flocq/flocq-1.4.0.ebuild |   15 ++++-----------
 2 files changed, 7 insertions(+), 11 deletions(-)

diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog
index 28ee4cc..23ceec7 100644
--- a/sci-mathematics/flocq/ChangeLog
+++ b/sci-mathematics/flocq/ChangeLog
@@ -2,6 +2,9 @@
 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  25 Jun 2011; Justin Lecher <jlec@gentoo.org> flocq-1.4.0.ebuild:
+  Define EAPI after inherit
+
   06 May 2011; J.-C. Demay <jcdemay@gmail.com>
   -flocq-1.2.ebuild, +flocq-1.4.0.ebuild:
   version bump

diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/flocq/flocq-1.4.0.ebuild
index 734992f..44074f5 100644
--- a/sci-mathematics/flocq/flocq-1.4.0.ebuild
+++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild
@@ -2,27 +2,20 @@
 # Distributed under the terms of the GNU General Public License v2
 # $Header: $
 
-inherit autotools
+EAPI=4
 
-EAPI="2"
-
-DESCRIPTION="A floating-point formalization for the Coq system."
+DESCRIPTION="A floating-point formalization for the Coq system"
 HOMEPAGE="http://flocq.gforge.inria.fr/"
 SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz"
 
 LICENSE="LGPL-3"
 SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ~ppc ~x86"
 IUSE=""
 
 DEPEND="sci-mathematics/coq"
+RDEPEND="${DEPEND}"
 
 src_configure() {
 	econf --libdir="`coqc -where`/user-contrib/Flocq"
 }
-
-src_install() {
-	emake install DESTDIR="${D}" || die "emake install failed"
-	dodoc NEWS README AUTHORS ChangeLog
-}
-