1 |
commit: eb9e4619a218da11f4f2d8f8a48c59fd074f5757 |
2 |
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com> |
3 |
AuthorDate: Mon Feb 6 14:26:12 2012 +0000 |
4 |
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com> |
5 |
CommitDate: Mon Feb 6 14:26:12 2012 +0000 |
6 |
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=eb9e4619 |
7 |
|
8 |
sci-mathematics/flocq: QA Fixes |
9 |
|
10 |
--- |
11 |
sci-mathematics/flocq/ChangeLog | 3 --- |
12 |
sci-mathematics/flocq/flocq-1.4.0.ebuild | 15 +++++++++++---- |
13 |
sci-mathematics/flocq/metadata.xml | 2 +- |
14 |
3 files changed, 12 insertions(+), 8 deletions(-) |
15 |
|
16 |
diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog |
17 |
index 23ceec7..28ee4cc 100644 |
18 |
--- a/sci-mathematics/flocq/ChangeLog |
19 |
+++ b/sci-mathematics/flocq/ChangeLog |
20 |
@@ -2,9 +2,6 @@ |
21 |
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 |
22 |
# $Header: $ |
23 |
|
24 |
- 25 Jun 2011; Justin Lecher <jlec@g.o> flocq-1.4.0.ebuild: |
25 |
- Define EAPI after inherit |
26 |
- |
27 |
06 May 2011; J.-C. Demay <jcdemay@×××××.com> |
28 |
-flocq-1.2.ebuild, +flocq-1.4.0.ebuild: |
29 |
version bump |
30 |
|
31 |
diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/flocq/flocq-1.4.0.ebuild |
32 |
index 44074f5..734992f 100644 |
33 |
--- a/sci-mathematics/flocq/flocq-1.4.0.ebuild |
34 |
+++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild |
35 |
@@ -2,20 +2,27 @@ |
36 |
# Distributed under the terms of the GNU General Public License v2 |
37 |
# $Header: $ |
38 |
|
39 |
-EAPI=4 |
40 |
+inherit autotools |
41 |
|
42 |
-DESCRIPTION="A floating-point formalization for the Coq system" |
43 |
+EAPI="2" |
44 |
+ |
45 |
+DESCRIPTION="A floating-point formalization for the Coq system." |
46 |
HOMEPAGE="http://flocq.gforge.inria.fr/" |
47 |
SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz" |
48 |
|
49 |
LICENSE="LGPL-3" |
50 |
SLOT="0" |
51 |
-KEYWORDS="~amd64 ~ppc ~x86" |
52 |
+KEYWORDS="~amd64 ~ppc ~sparc ~x86" |
53 |
IUSE="" |
54 |
|
55 |
DEPEND="sci-mathematics/coq" |
56 |
-RDEPEND="${DEPEND}" |
57 |
|
58 |
src_configure() { |
59 |
econf --libdir="`coqc -where`/user-contrib/Flocq" |
60 |
} |
61 |
+ |
62 |
+src_install() { |
63 |
+ emake install DESTDIR="${D}" || die "emake install failed" |
64 |
+ dodoc NEWS README AUTHORS ChangeLog |
65 |
+} |
66 |
+ |
67 |
|
68 |
diff --git a/sci-mathematics/flocq/metadata.xml b/sci-mathematics/flocq/metadata.xml |
69 |
index 41ae244..c8feb0f 100644 |
70 |
--- a/sci-mathematics/flocq/metadata.xml |
71 |
+++ b/sci-mathematics/flocq/metadata.xml |
72 |
@@ -1,7 +1,7 @@ |
73 |
<?xml version="1.0" encoding="UTF-8"?> |
74 |
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
75 |
<pkgmetadata> |
76 |
- <herd>sci-mathematics</herd> |
77 |
+ <herd>sci</herd> |
78 |
<longdescription> |
79 |
Flocq (Floats for Coq) is a floating-point formalization for the Coq |
80 |
system. It provides a comprehensive library of theorems on a multi-radix |