1 |
commit: 8dd3a1cdb4707bbe93d27e4340f50875c1a5ccd6 |
2 |
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com> |
3 |
AuthorDate: Mon Feb 6 14:31:23 2012 +0000 |
4 |
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com> |
5 |
CommitDate: Mon Feb 6 14:31:23 2012 +0000 |
6 |
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=8dd3a1cd |
7 |
|
8 |
sci-mathematics/gappa: version bump |
9 |
|
10 |
--- |
11 |
sci-mathematics/gappa/ChangeLog | 8 ++--- |
12 |
sci-mathematics/gappa/gappa-0.15.0.ebuild | 56 ----------------------------- |
13 |
sci-mathematics/gappa/gappa-0.15.1.ebuild | 56 +++++++++++++++++++++++++++++ |
14 |
sci-mathematics/gappa/metadata.xml | 2 +- |
15 |
4 files changed, 60 insertions(+), 62 deletions(-) |
16 |
|
17 |
diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog |
18 |
index c5da9be..c7bc51e 100644 |
19 |
--- a/sci-mathematics/gappa/ChangeLog |
20 |
+++ b/sci-mathematics/gappa/ChangeLog |
21 |
@@ -2,11 +2,9 @@ |
22 |
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 |
23 |
# $Header: $ |
24 |
|
25 |
-*gappa-0.15.0 (25 Jun 2011) |
26 |
- |
27 |
- 25 Jun 2011; Justin Lecher <jlec@g.o> -gappa-0.14.0.ebuild, |
28 |
- +gappa-0.15.0.ebuild: |
29 |
- Version Bump |
30 |
+ 21 Dec 2011; J.-C. Demay <jcdemay@×××××.com> |
31 |
+ +gappa-0.15.1.ebuild, -gappa-0.14.0.ebuild: |
32 |
+ version bump |
33 |
|
34 |
13 Feb 2011; J.-C. Demay <jcdemay@×××××.com> |
35 |
+gappa-0.14.0.ebuild, -gappa-0.13.0.ebuild: |
36 |
|
37 |
diff --git a/sci-mathematics/gappa/gappa-0.15.0.ebuild b/sci-mathematics/gappa/gappa-0.15.0.ebuild |
38 |
deleted file mode 100644 |
39 |
index 525651f..0000000 |
40 |
--- a/sci-mathematics/gappa/gappa-0.15.0.ebuild |
41 |
+++ /dev/null |
42 |
@@ -1,56 +0,0 @@ |
43 |
-# Copyright 1999-2011 Gentoo Foundation |
44 |
-# Distributed under the terms of the GNU General Public License v2 |
45 |
-# $Header: $ |
46 |
- |
47 |
-EAPI=4 |
48 |
- |
49 |
-ID=28594 |
50 |
- |
51 |
-DESCRIPTION="Verifying and proving properties on floating-point or fixed-point arithmetic" |
52 |
-HOMEPAGE="http://gappa.gforge.inria.fr/" |
53 |
-SRC_URI="https://gforge.inria.fr/frs/download.php/${ID}/${P}.tar.gz" |
54 |
- |
55 |
-LICENSE="|| ( CeCILL-2.0 GPL-2 )" |
56 |
-SLOT="0" |
57 |
-KEYWORDS="~amd64 ~ppc ~sparc ~x86" |
58 |
-IUSE="doc" |
59 |
- |
60 |
-RDEPEND=" |
61 |
- dev-libs/boost |
62 |
- dev-libs/gmp |
63 |
- dev-libs/mpfr" |
64 |
-DEPEND="${RDEPEND} |
65 |
- doc? ( |
66 |
- app-text/texlive |
67 |
- app-text/ghostscript-gpl |
68 |
- app-doc/doxygen )" |
69 |
- |
70 |
-src_prepare() { |
71 |
- if use doc; then |
72 |
- sed \ |
73 |
- -i doc/doxygen/Doxyfile \ |
74 |
- -e "s/GENERATE_LATEX = NO/GENERATE_LATEX = YES/g" \ |
75 |
- -e "s/USE_PDFLATEX = NO/USE_PDFLATEX = YES/g" \ |
76 |
- -e "s/PDF_HYPERLINKS = NO/PDF_HYPERLINKS = YES/g" || die |
77 |
- fi |
78 |
-} |
79 |
- |
80 |
-src_compile(){ |
81 |
- emake DESTDIR="/" |
82 |
- |
83 |
- if use doc; then |
84 |
- cd doc/doxygen |
85 |
- doxygen Doxyfile || die "doxygen failed" |
86 |
- cd "${S}" |
87 |
- emake -C doc/doxygen/latex |
88 |
- fi |
89 |
-} |
90 |
- |
91 |
-src_install(){ |
92 |
- default |
93 |
- |
94 |
- if use doc; then |
95 |
- mv doc/doxygen/latex/refman.pdf ./gappa.pdf |
96 |
- dodoc ./gappa.pdf |
97 |
- fi |
98 |
-} |
99 |
|
100 |
diff --git a/sci-mathematics/gappa/gappa-0.15.1.ebuild b/sci-mathematics/gappa/gappa-0.15.1.ebuild |
101 |
new file mode 100644 |
102 |
index 0000000..0fa2899 |
103 |
--- /dev/null |
104 |
+++ b/sci-mathematics/gappa/gappa-0.15.1.ebuild |
105 |
@@ -0,0 +1,56 @@ |
106 |
+# Copyright 1999-2010 Gentoo Foundation |
107 |
+# Distributed under the terms of the GNU General Public License v2 |
108 |
+# $Header: $ |
109 |
+ |
110 |
+EAPI="2" |
111 |
+ |
112 |
+DESCRIPTION="A tool to help verifying and proving properties on floating-point or fixed-point arithmetic." |
113 |
+HOMEPAGE="http://gappa.gforge.inria.fr/" |
114 |
+SRC_URI="http://gforge.inria.fr/frs/download.php/29004/${P}.tar.gz" |
115 |
+ |
116 |
+LICENSE="|| ( CeCILL-2.0 GPL-2 )" |
117 |
+SLOT="0" |
118 |
+KEYWORDS="~amd64 ~ppc ~sparc ~x86" |
119 |
+IUSE="doc" |
120 |
+ |
121 |
+RDEPEND="dev-libs/gmp |
122 |
+ dev-libs/mpfr |
123 |
+ dev-libs/boost" |
124 |
+DEPEND="${RDEPEND} |
125 |
+ doc? ( app-text/texlive |
126 |
+ app-text/ghostscript-gpl |
127 |
+ app-doc/doxygen )" |
128 |
+ |
129 |
+src_unpack() { |
130 |
+ unpack ${A} |
131 |
+ mv ${S/%0.14.0/0.13.0} ${S} |
132 |
+ cd ${S} |
133 |
+} |
134 |
+ |
135 |
+src_prepare() { |
136 |
+ sed -i doc/doxygen/Doxyfile \ |
137 |
+ -e "s/GENERATE_LATEX = NO/GENERATE_LATEX = YES/g" \ |
138 |
+ -e "s/USE_PDFLATEX = NO/USE_PDFLATEX = YES/g" \ |
139 |
+ -e "s/PDF_HYPERLINKS = NO/PDF_HYPERLINKS = YES/g" |
140 |
+} |
141 |
+ |
142 |
+src_compile(){ |
143 |
+ emake DESTDIR="/" || die "emake failed" |
144 |
+ |
145 |
+ if use doc; then |
146 |
+ cd doc/doxygen |
147 |
+ doxygen Doxyfile || die "doxygen failed" |
148 |
+ cd "${S}" |
149 |
+ emake -C doc/doxygen/latex || die "emake doc failed" |
150 |
+ fi |
151 |
+} |
152 |
+ |
153 |
+src_install(){ |
154 |
+ emake install DESTDIR="${D}" || die "emake install failed" |
155 |
+ dodoc AUTHORS NEWS README |
156 |
+ |
157 |
+ if use doc; then |
158 |
+ mv doc/doxygen/latex/refman.pdf ./gappa.pdf |
159 |
+ dodoc ./gappa.pdf |
160 |
+ fi |
161 |
+} |
162 |
|
163 |
diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml |
164 |
index c3ef8c6..b9102d9 100644 |
165 |
--- a/sci-mathematics/gappa/metadata.xml |
166 |
+++ b/sci-mathematics/gappa/metadata.xml |
167 |
@@ -1,7 +1,7 @@ |
168 |
<?xml version="1.0" encoding="UTF-8"?> |
169 |
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
170 |
<pkgmetadata> |
171 |
- <herd>sci-mathematics</herd> |
172 |
+ <herd>sci</herd> |
173 |
<longdescription> |
174 |
Gappa is a tool intended to help verifying and formally proving |
175 |
properties on numerical programs dealing with floating-point or |