diff options
Diffstat (limited to 'sci-mathematics/flocq/flocq-1.4.0.ebuild')
-rw-r--r-- | sci-mathematics/flocq/flocq-1.4.0.ebuild | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/flocq/flocq-1.4.0.ebuild index 734992fd5..103b67ee8 100644 --- a/sci-mathematics/flocq/flocq-1.4.0.ebuild +++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild @@ -1,9 +1,7 @@ -# Copyright 1999-2011 Gentoo Foundation +# Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -inherit autotools - EAPI="2" DESCRIPTION="A floating-point formalization for the Coq system." @@ -12,10 +10,11 @@ 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" @@ -25,4 +24,3 @@ src_install() { emake install DESTDIR="${D}" || die "emake install failed" dodoc NEWS README AUTHORS ChangeLog } - |