1 |
commit: 6dfa52397fdce7ace780fe1e03e9db334c2427a9 |
2 |
Author: Justin Lecher <jlec <AT> gentoo <DOT> org> |
3 |
AuthorDate: Mon Sep 21 18:38:45 2015 +0000 |
4 |
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org> |
5 |
CommitDate: Mon Sep 21 18:38:54 2015 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=6dfa5239 |
7 |
|
8 |
sci-mathematics/apron: Add subslot operators |
9 |
|
10 |
Package-Manager: portage-2.2.20.1 |
11 |
Signed-off-by: Justin Lecher <jlec <AT> gentoo.org> |
12 |
|
13 |
sci-mathematics/apron/apron-0.9.10-r1.ebuild | 33 +++++----- |
14 |
sci-mathematics/apron/apron-0.9.10.ebuild | 92 ---------------------------- |
15 |
sci-mathematics/apron/metadata.xml | 7 +-- |
16 |
3 files changed, 21 insertions(+), 111 deletions(-) |
17 |
|
18 |
diff --git a/sci-mathematics/apron/apron-0.9.10-r1.ebuild b/sci-mathematics/apron/apron-0.9.10-r1.ebuild |
19 |
index eb6a7f6..622c06b 100644 |
20 |
--- a/sci-mathematics/apron/apron-0.9.10-r1.ebuild |
21 |
+++ b/sci-mathematics/apron/apron-0.9.10-r1.ebuild |
22 |
@@ -1,4 +1,4 @@ |
23 |
-# Copyright 1999-2014 Gentoo Foundation |
24 |
+# Copyright 1999-2015 Gentoo Foundation |
25 |
# Distributed under the terms of the GNU General Public License v2 |
26 |
# $Id$ |
27 |
|
28 |
@@ -6,7 +6,7 @@ EAPI="5" |
29 |
|
30 |
inherit eutils toolchain-funcs |
31 |
|
32 |
-DESCRIPTION="Library for static analysis of the numerical variables of a program by Abstract Interpretation" |
33 |
+DESCRIPTION="Static analysis of the numerical variables of a program by Abstract Interpretation" |
34 |
HOMEPAGE="http://apron.cri.ensmp.fr/library/" |
35 |
SRC_URI="http://apron.cri.ensmp.fr/library/${P}.tgz" |
36 |
|
37 |
@@ -15,24 +15,30 @@ SLOT="0" |
38 |
KEYWORDS="~amd64 ~x86" |
39 |
IUSE="doc ocaml" |
40 |
|
41 |
-RDEPEND="ocaml? ( >=dev-lang/ocaml-3.09 |
42 |
- dev-ml/camlidl |
43 |
- dev-ml/mlgmpidl ) |
44 |
- dev-libs/gmp |
45 |
- dev-libs/mpfr" |
46 |
+RDEPEND=" |
47 |
+ ocaml? ( |
48 |
+ >=dev-lang/ocaml-3.09 |
49 |
+ dev-ml/camlidl |
50 |
+ dev-ml/mlgmpidl |
51 |
+ ) |
52 |
+ dev-libs/gmp:0= |
53 |
+ dev-libs/mpfr:0=" |
54 |
DEPEND="${RDEPEND} |
55 |
- doc? ( app-text/texlive |
56 |
- app-text/ghostscript-gpl )" |
57 |
+ doc? ( |
58 |
+ app-text/texlive |
59 |
+ app-text/ghostscript-gpl |
60 |
+ )" |
61 |
|
62 |
src_prepare() { |
63 |
- mv Makefile.config.model Makefile.config |
64 |
+ mv Makefile.config.model Makefile.config || die |
65 |
|
66 |
#fix compile process |
67 |
sed -i Makefile.config \ |
68 |
-e "s/FLAGS = \\\/FLAGS += \\\/g" \ |
69 |
-e "s/-O3 -DNDEBUG/-DNDEBUG/g" \ |
70 |
-e "s/APRON_PREFIX =.*/APRON_PREFIX = \$(DESTDIR)\/usr/g" \ |
71 |
- -e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g" |
72 |
+ -e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g" \ |
73 |
+ || die |
74 |
|
75 |
#fix doc building process |
76 |
sed -i Makefile -e "s/; make html/; make/g" |
77 |
@@ -51,12 +57,11 @@ src_prepare() { |
78 |
} |
79 |
|
80 |
src_compile() { |
81 |
- emake -j1 || die "emake failed" |
82 |
+ emake -j1 |
83 |
} |
84 |
|
85 |
src_install(){ |
86 |
- emake install DESTDIR="${D}" || die "emake install failed" |
87 |
- dodoc AUTHORS Changes README |
88 |
+ default |
89 |
|
90 |
if use doc; then |
91 |
dodoc apron/apron.pdf |
92 |
|
93 |
diff --git a/sci-mathematics/apron/apron-0.9.10.ebuild b/sci-mathematics/apron/apron-0.9.10.ebuild |
94 |
deleted file mode 100644 |
95 |
index b2b9148..0000000 |
96 |
--- a/sci-mathematics/apron/apron-0.9.10.ebuild |
97 |
+++ /dev/null |
98 |
@@ -1,92 +0,0 @@ |
99 |
-# Copyright 1999-2014 Gentoo Foundation |
100 |
-# Distributed under the terms of the GNU General Public License v2 |
101 |
-# $Id$ |
102 |
- |
103 |
-EAPI="5" |
104 |
- |
105 |
-inherit eutils toolchain-funcs |
106 |
- |
107 |
-DESCRIPTION="Library for static analysis of the numerical variables of a program by Abstract Interpretation" |
108 |
-HOMEPAGE="http://apron.cri.ensmp.fr/library/" |
109 |
-SRC_URI="http://apron.cri.ensmp.fr/library/${P}.tgz" |
110 |
- |
111 |
-LICENSE="LGPL-2 GPL-2" |
112 |
-SLOT="0" |
113 |
-KEYWORDS="~amd64 ~x86" |
114 |
-IUSE="cxx doc ocaml ppl" |
115 |
- |
116 |
-RDEPEND="ocaml? ( >=dev-lang/ocaml-3.09 |
117 |
- dev-ml/camlidl |
118 |
- dev-ml/mlgmpidl ) |
119 |
- dev-libs/gmp |
120 |
- dev-libs/mpfr |
121 |
- ppl? ( dev-libs/ppl )" |
122 |
-DEPEND="${RDEPEND} |
123 |
- doc? ( app-text/texlive |
124 |
- app-text/ghostscript-gpl |
125 |
- cxx? ( app-doc/doxygen |
126 |
- dev-tex/rubber ) )" |
127 |
- |
128 |
-src_prepare() { |
129 |
- mv Makefile.config.model Makefile.config |
130 |
- |
131 |
- #fix compile process |
132 |
- sed -i Makefile.config \ |
133 |
- -e "s/FLAGS = \\\/FLAGS += \\\/g" \ |
134 |
- -e "s/-O3 -DNDEBUG/-DNDEBUG/g" \ |
135 |
- -e "s/APRON_PREFIX =.*/APRON_PREFIX = \$(DESTDIR)\/usr/g" \ |
136 |
- -e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g" |
137 |
- |
138 |
- #fix doc building process |
139 |
- sed -i Makefile -e "s/; make html/; make/g" |
140 |
- sed -i apronxx/Makefile \ |
141 |
- -e "s:cd doc/latex && make:cd doc/latex; rubber refman.tex; dvipdf refman.dvi:g" |
142 |
- sed -i apronxx/doc/Doxyfile \ |
143 |
- -e "s/OUTPUT_DIRECTORY = \/.*/OUTPUT_DIRECTORY = .\//g" \ |
144 |
- -e "s/STRIP_FROM_PATH = \/.*/STRIP_FROM_PATH = .\//g" |
145 |
- |
146 |
- #fix ppl install for 32 platforms |
147 |
- sed -i ppl/Makefile -e "s/libap_ppl_caml\*\./libap_ppl\*\./g" |
148 |
- |
149 |
- if [[ "$(gcc-major-version)" == "4" ]]; then |
150 |
- sed -i -e "s/# HAS_LONG_DOUBLE = 1/HAS_LONG_DOUBLE = 1/g" Makefile.config |
151 |
- fi |
152 |
- if use !ocaml; then |
153 |
- sed -i -e "s/HAS_OCAML = 1/#HAS_OCAML = 0/g" Makefile.config |
154 |
- fi |
155 |
- if use ppl; then |
156 |
- sed -i -e "s/# HAS_PPL = 1/HAS_PPL = 1/g" Makefile.config |
157 |
- fi |
158 |
- if use cxx; then |
159 |
- if use ppl; then |
160 |
- sed -i -e "s/# HAS_CPP = 1/HAS_CPP = 1/g" Makefile.config |
161 |
- else |
162 |
- die "USE flag 'cxx' needs USE flag 'ppl' set" |
163 |
- fi |
164 |
- fi |
165 |
-} |
166 |
- |
167 |
-src_compile() { |
168 |
- #damn crappy Makefile |
169 |
- emake || emake || die "emake failed" |
170 |
- |
171 |
- if use doc && use cxx; then |
172 |
- emake -C apronxx doc || "emake doc failed" |
173 |
- fi |
174 |
-} |
175 |
- |
176 |
-src_install(){ |
177 |
- emake install DESTDIR="${D}" || die "emake install failed" |
178 |
- dodoc AUTHORS Changes README |
179 |
- |
180 |
- if use doc; then |
181 |
- dodoc apron/apron.pdf |
182 |
- if use ocaml; then |
183 |
- dodoc mlapronidl/mlapronidl.pdf |
184 |
- fi |
185 |
- if use cxx; then |
186 |
- mv apronxx/doc/latex/refman.pdf apronxx/apronxx.pdf |
187 |
- dodoc ./apronxx/apronxx.pdf |
188 |
- fi |
189 |
- fi |
190 |
-} |
191 |
|
192 |
diff --git a/sci-mathematics/apron/metadata.xml b/sci-mathematics/apron/metadata.xml |
193 |
index 73bd7f1..0eeeaf3 100644 |
194 |
--- a/sci-mathematics/apron/metadata.xml |
195 |
+++ b/sci-mathematics/apron/metadata.xml |
196 |
@@ -1,8 +1,8 @@ |
197 |
<?xml version="1.0" encoding="UTF-8"?> |
198 |
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
199 |
<pkgmetadata> |
200 |
-<herd>sci-mathematics</herd> |
201 |
-<longdescription> |
202 |
+ <herd>sci-mathematics</herd> |
203 |
+ <longdescription> |
204 |
The APRON library is dedicated to the static analysis of the numerical |
205 |
variables of a program by Abstract Interpretation. The aim of such an |
206 |
analysis is to infer invariants about these variables. The APRON library |
207 |
@@ -12,7 +12,4 @@ |
208 |
domain, as shown by the poster on the right (presented at the SAS 2007 |
209 |
conference. |
210 |
</longdescription> |
211 |
-<use> |
212 |
- <flag name='ppl'>Add support for <pkg>dev-libs/ppl</pkg></flag> |
213 |
-</use> |
214 |
</pkgmetadata> |