diff options
| author |   Alexey Shvetsov <alexxy@gentoo.org> | 2012-05-12 22:11:27 +0400 |
|---|---|---|
| committer | Alexey Shvetsov <alexxy@gentoo.org> | 2012-05-12 22:13:36 +0400 |
| commit | ec156b74368b168f73a0275a3d81a3f5356c8621 (patch) | |
| tree | cce430156bd1f17b997ed5d0e8cbf369999198e8 /sci-mathematics | |
| parent | [metadata] Enable md5-cache (diff) | |
| download | sci-ec156b74368b168f73a0275a3d81a3f5356c8621.tar.gz sci-ec156b74368b168f73a0275a3d81a3f5356c8621.tar.bz2 sci-ec156b74368b168f73a0275a3d81a3f5356c8621.zip | |
[sci-mathematics/flocq] Fix ebuild eapi parsing and other minor issues
(Portage version: 2.2.0_alpha104/git/Linux x86_64, unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/flocq/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/flocq/Manifest | 3 | ||||
| -rw-r--r-- | sci-mathematics/flocq/flocq-1.4.0.ebuild | 8 |
3 files changed, 7 insertions, 9 deletions
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog index 28ee4ccf1..3afd8eb94 100644 --- a/sci-mathematics/flocq/ChangeLog +++ b/sci-mathematics/flocq/ChangeLog @@ -1,7 +1,10 @@ # ChangeLog for sci-mathematics/flocq -# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ + 12 May 2012; Alexey Shvetsov <alexxy@gentoo.org> flocq-1.4.0.ebuild: + [sci-mathematics/flocq] Fix ebuild eapi parsing and other minor issues + 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/Manifest b/sci-mathematics/flocq/Manifest index 62714161c..39030fc48 100644 --- a/sci-mathematics/flocq/Manifest +++ b/sci-mathematics/flocq/Manifest @@ -1,4 +1 @@ DIST flocq-1.4.0.tar.gz 129022 RMD160 04944a466bf1df71389eec5dbda0969b7c6f79c2 SHA1 bebe3cdbfb2308312c757f5205fc53d4a5c21954 SHA256 9cda6786f79bf4f826d0b48a5601c292a065472b31f3717bb0045ac6414ec023 -EBUILD flocq-1.4.0.ebuild 614 RMD160 8d244238667572ff8662cc6d25288848c0cdedc6 SHA1 b5ea8c707c6cb7f63a45af58a499c9252131a94b SHA256 0abc28abcca68c953343d41cd503ba6553cb9e099405ee0fde33878659580d41 -MISC ChangeLog 315 RMD160 8cebc4c880fd2bc3d090c717c708a36f22aedfc5 SHA1 e6a6b92aac62e84a66819614c26f18716a0e0504 SHA256 f73302279648b8d77b28273da4b0962cbedb4e7183fc146d775dc677faabde3b -MISC metadata.xml 497 RMD160 9a76fe39578db3ce4e7fcaaec6bcff9c38ff40ed SHA1 a7ba11329f3269f949be97f4f44ca7e4ea5a2d8d SHA256 888cc1091b03da5c749d586bccafc4eaa063c08a9273458b17026a6c8c91626a 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 } - |