diff options
| author |   Justin Lecher <jlec@gentoo.org> | 2011-06-25 09:50:45 +0200 |
|---|---|---|
| committer | Justin Lecher <jlec@gentoo.org> | 2011-06-25 09:50:45 +0200 |
| commit | 5e01c9660616dff9d96876056d983de42bd9ded1 (patch) | |
| tree | 3a6fb100b28fa12619647ef4f0f5ba720a6782a6 | |
| parent | Fixed herd entry in metadata.xml (diff) | |
| download | sci-5e01c9660616dff9d96876056d983de42bd9ded1.tar.gz sci-5e01c9660616dff9d96876056d983de42bd9ded1.tar.bz2 sci-5e01c9660616dff9d96876056d983de42bd9ded1.zip | |
Define EAPI after inherit
(Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916)
| -rw-r--r-- | sci-mathematics/flocq/ChangeLog | 3 | ||||
| -rw-r--r-- | sci-mathematics/flocq/Manifest | 14 | ||||
| -rw-r--r-- | sci-mathematics/flocq/flocq-1.4.0.ebuild | 15 |
3 files changed, 19 insertions, 13 deletions
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog index 28ee4ccf1..23ceec7f0 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/Manifest b/sci-mathematics/flocq/Manifest index 62714161c..9e6d66900 100644 --- a/sci-mathematics/flocq/Manifest +++ b/sci-mathematics/flocq/Manifest @@ -1,4 +1,14 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + 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 +EBUILD flocq-1.4.0.ebuild 488 RMD160 537e3860301cf4fbfe81e54115b1e23f00cc4b06 SHA1 c973f79c4f04db83b29050bb5b0e0bff9a9e514f SHA256 d3acd508844ef450c896051216fe304492b18f7246980010b84bc981b38272db +MISC ChangeLog 411 RMD160 ebd74444d2bbfffa67532df5a52b1af93c9a2b9f SHA1 3e8b0ded6a089484d14664285854c3156450e2ff SHA256 0f7807fee2a6f1880a2bc81f47aa3ee83ece8e3d16f6c3ce16e6169a47aaa5d9 MISC metadata.xml 497 RMD160 9a76fe39578db3ce4e7fcaaec6bcff9c38ff40ed SHA1 a7ba11329f3269f949be97f4f44ca7e4ea5a2d8d SHA256 888cc1091b03da5c749d586bccafc4eaa063c08a9273458b17026a6c8c91626a +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.17 (GNU/Linux) + +iEYEARECAAYFAk4Fk1UACgkQgAnW8HDreRY/0gCglaCsMydQUNeQqisucQ5D+0OD +WuAAoLZwYoiuSeUqSgVK2+5Mhfkk1hA4 +=c4rI +-----END PGP SIGNATURE----- diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/flocq/flocq-1.4.0.ebuild index 734992fd5..44074f5a2 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 -} - |