diff options
| author |   Jonathan-Christofer Demay <jcdemay@gmail.com> | 2012-02-06 15:26:12 +0100 |
|---|---|---|
| committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2012-02-06 15:26:12 +0100 |
| commit | eb9e4619a218da11f4f2d8f8a48c59fd074f5757 (patch) | |
| tree | d10b48f6acf3b3fb2a5f58cd17f8c5fa59b87784 /sci-mathematics | |
| parent | sci-mathematics/apron: QA fixes (diff) | |
| download | sci-eb9e4619a218da11f4f2d8f8a48c59fd074f5757.tar.gz sci-eb9e4619a218da11f4f2d8f8a48c59fd074f5757.tar.bz2 sci-eb9e4619a218da11f4f2d8f8a48c59fd074f5757.zip | |
sci-mathematics/flocq: QA Fixes
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/flocq/ChangeLog | 3 | ||||
| -rw-r--r-- | sci-mathematics/flocq/Manifest | 3 | ||||
| -rw-r--r-- | sci-mathematics/flocq/flocq-1.4.0.ebuild | 15 | ||||
| -rw-r--r-- | sci-mathematics/flocq/metadata.xml | 2 |
4 files changed, 15 insertions, 8 deletions
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog index 23ceec7f0..28ee4ccf1 100644 --- a/sci-mathematics/flocq/ChangeLog +++ b/sci-mathematics/flocq/ChangeLog @@ -2,9 +2,6 @@ # 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 39030fc48..62714161c 100644 --- a/sci-mathematics/flocq/Manifest +++ b/sci-mathematics/flocq/Manifest @@ -1 +1,4 @@ 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 44074f5a2..734992fd5 100644 --- a/sci-mathematics/flocq/flocq-1.4.0.ebuild +++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild @@ -2,20 +2,27 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI=4 +inherit autotools -DESCRIPTION="A floating-point formalization for the Coq system" +EAPI="2" + +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 ~x86" +KEYWORDS="~amd64 ~ppc ~sparc ~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 +} + diff --git a/sci-mathematics/flocq/metadata.xml b/sci-mathematics/flocq/metadata.xml index 41ae244e8..c8feb0fc1 100644 --- a/sci-mathematics/flocq/metadata.xml +++ b/sci-mathematics/flocq/metadata.xml @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci-mathematics</herd> + <herd>sci</herd> <longdescription> Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix |