1 |
commit: d79091d43727ccec89fc820b59c33ed07c22aa09 |
2 |
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com> |
3 |
AuthorDate: Thu Jan 13 20:33:11 2022 +0000 |
4 |
Commit: Theo Anderson <telans <AT> posteo <DOT> de> |
5 |
CommitDate: Thu Jan 13 20:35:58 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=d79091d4 |
7 |
|
8 |
sci-mathematics/frama-c: bump to 24.0 |
9 |
|
10 |
Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com> |
11 |
|
12 |
sci-mathematics/frama-c-aorai/Manifest | 1 + |
13 |
.../frama-c-aorai/frama-c-aorai-24.0.ebuild | 45 +++++++++++++++ |
14 |
sci-mathematics/frama-c-callgraph/Manifest | 1 + |
15 |
.../frama-c-callgraph-24.0.ebuild | 57 +++++++++++++++++++ |
16 |
sci-mathematics/frama-c-constant-folding/Manifest | 1 + |
17 |
.../frama-c-constant-folding-24.0.ebuild | 59 +++++++++++++++++++ |
18 |
sci-mathematics/frama-c-dive/Manifest | 1 + |
19 |
.../frama-c-dive/frama-c-dive-24.0.ebuild | 48 ++++++++++++++++ |
20 |
sci-mathematics/frama-c-e-acsl/Manifest | 1 + |
21 |
.../frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild | 47 +++++++++++++++ |
22 |
sci-mathematics/frama-c-eva/Manifest | 1 + |
23 |
.../frama-c-eva/frama-c-eva-24.0.ebuild | 61 ++++++++++++++++++++ |
24 |
sci-mathematics/frama-c-from/Manifest | 1 + |
25 |
.../frama-c-from/frama-c-from-24.0.ebuild | 59 +++++++++++++++++++ |
26 |
sci-mathematics/frama-c-impact/Manifest | 1 + |
27 |
.../frama-c-impact/frama-c-impact-24.0.ebuild | 66 ++++++++++++++++++++++ |
28 |
sci-mathematics/frama-c-inout/Manifest | 1 + |
29 |
.../frama-c-inout/frama-c-inout-24.0.ebuild | 59 +++++++++++++++++++ |
30 |
sci-mathematics/frama-c-instantiate/Manifest | 1 + |
31 |
.../frama-c-instantiate-24.0.ebuild | 42 ++++++++++++++ |
32 |
sci-mathematics/frama-c-loopanalysis/Manifest | 1 + |
33 |
.../frama-c-loopanalysis-24.0.ebuild | 42 ++++++++++++++ |
34 |
sci-mathematics/frama-c-metrics/Manifest | 1 + |
35 |
.../frama-c-metrics/frama-c-metrics-24.0.ebuild | 56 ++++++++++++++++++ |
36 |
sci-mathematics/frama-c-nonterm/Manifest | 1 + |
37 |
.../frama-c-nonterm/frama-c-nonterm-24.0.ebuild | 44 +++++++++++++++ |
38 |
sci-mathematics/frama-c-obfuscator/Manifest | 1 + |
39 |
.../frama-c-obfuscator-24.0.ebuild | 42 ++++++++++++++ |
40 |
sci-mathematics/frama-c-occurrence/Manifest | 1 + |
41 |
.../frama-c-occurrence-24.0.ebuild | 56 ++++++++++++++++++ |
42 |
sci-mathematics/frama-c-pdg/Manifest | 1 + |
43 |
.../frama-c-pdg/frama-c-pdg-24.0.ebuild | 59 +++++++++++++++++++ |
44 |
sci-mathematics/frama-c-postdominators/Manifest | 1 + |
45 |
.../frama-c-postdominators-24.0.ebuild | 52 +++++++++++++++++ |
46 |
sci-mathematics/frama-c-printapi/Manifest | 1 + |
47 |
.../frama-c-printapi/frama-c-printapi-24.0.ebuild | 33 +++++++++++ |
48 |
sci-mathematics/frama-c-qed/Manifest | 1 + |
49 |
.../frama-c-qed/frama-c-qed-24.0.ebuild | 34 +++++++++++ |
50 |
sci-mathematics/frama-c-report/Manifest | 1 + |
51 |
.../frama-c-report/frama-c-report-24.0.ebuild | 42 ++++++++++++++ |
52 |
sci-mathematics/frama-c-rtegen/Manifest | 1 + |
53 |
.../frama-c-rtegen/frama-c-rtegen-24.0.ebuild | 51 +++++++++++++++++ |
54 |
sci-mathematics/frama-c-scope/Manifest | 1 + |
55 |
.../frama-c-scope/frama-c-scope-24.0.ebuild | 61 ++++++++++++++++++++ |
56 |
sci-mathematics/frama-c-security-slicing/Manifest | 1 + |
57 |
.../frama-c-security-slicing-24.0.ebuild | 45 +++++++++++++++ |
58 |
sci-mathematics/frama-c-server/Manifest | 1 + |
59 |
.../frama-c-server/frama-c-server-24.0.ebuild | 43 ++++++++++++++ |
60 |
sci-mathematics/frama-c-slicing/Manifest | 1 + |
61 |
.../frama-c-slicing/frama-c-slicing-24.0.ebuild | 64 +++++++++++++++++++++ |
62 |
sci-mathematics/frama-c-sparecode/Manifest | 1 + |
63 |
.../frama-c-sparecode-24.0.ebuild | 61 ++++++++++++++++++++ |
64 |
sci-mathematics/frama-c-studia/Manifest | 1 + |
65 |
.../frama-c-studia/frama-c-studia-24.0.ebuild | 45 +++++++++++++++ |
66 |
sci-mathematics/frama-c-users/Manifest | 1 + |
67 |
.../frama-c-users/frama-c-users-24.0.ebuild | 57 +++++++++++++++++++ |
68 |
sci-mathematics/frama-c-variadic/Manifest | 1 + |
69 |
.../frama-c-variadic/frama-c-variadic-24.0.ebuild | 42 ++++++++++++++ |
70 |
sci-mathematics/frama-c-wp/Manifest | 1 + |
71 |
sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild | 51 +++++++++++++++++ |
72 |
sci-mathematics/frama-c/Manifest | 1 + |
73 |
sci-mathematics/frama-c/frama-c-24.0.ebuild | 60 ++++++++++++++++++++ |
74 |
62 files changed, 1614 insertions(+) |
75 |
|
76 |
diff --git a/sci-mathematics/frama-c-aorai/Manifest b/sci-mathematics/frama-c-aorai/Manifest |
77 |
index 94d4a0a85..27f9b08b7 100644 |
78 |
--- a/sci-mathematics/frama-c-aorai/Manifest |
79 |
+++ b/sci-mathematics/frama-c-aorai/Manifest |
80 |
@@ -1 +1,2 @@ |
81 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
82 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
83 |
|
84 |
diff --git a/sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild b/sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild |
85 |
new file mode 100644 |
86 |
index 000000000..126fcc4d5 |
87 |
--- /dev/null |
88 |
+++ b/sci-mathematics/frama-c-aorai/frama-c-aorai-24.0.ebuild |
89 |
@@ -0,0 +1,45 @@ |
90 |
+# Copyright 1999-2021 Gentoo Authors |
91 |
+# Distributed under the terms of the GNU General Public License v2 |
92 |
+ |
93 |
+EAPI=7 |
94 |
+ |
95 |
+inherit autotools findlib toolchain-funcs |
96 |
+ |
97 |
+DESCRIPTION="Aorai (automaton annotations) plugin for frama-c" |
98 |
+HOMEPAGE="https://frama-c.com" |
99 |
+NAME="Chromium" |
100 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
101 |
+ |
102 |
+LICENSE="LGPL-2.1" |
103 |
+SLOT="0" |
104 |
+KEYWORDS="~amd64" |
105 |
+IUSE="eva +ocamlopt" |
106 |
+RESTRICT="strip" |
107 |
+ |
108 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] |
109 |
+ eva? ( ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] )" |
110 |
+DEPEND="${RDEPEND}" |
111 |
+ |
112 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/aorai" |
113 |
+ |
114 |
+src_prepare() { |
115 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
116 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
117 |
+ export ENABLE_EVA="$(usex eva yes no)" |
118 |
+ sed -i '/aorai_eva_analysis.ml:/s, share/Makefile.config,,' Makefile.in || die |
119 |
+ eautoconf |
120 |
+ eapply_user |
121 |
+} |
122 |
+ |
123 |
+src_configure() { |
124 |
+ econf --enable-aorai |
125 |
+} |
126 |
+ |
127 |
+src_compile() { |
128 |
+ tc-export AR |
129 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_EVA="${ENABLE_EVA}" |
130 |
+} |
131 |
+ |
132 |
+src_install() { |
133 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_EVA="${ENABLE_EVA}" DESTDIR="${ED}" install |
134 |
+} |
135 |
|
136 |
diff --git a/sci-mathematics/frama-c-callgraph/Manifest b/sci-mathematics/frama-c-callgraph/Manifest |
137 |
index 94d4a0a85..27f9b08b7 100644 |
138 |
--- a/sci-mathematics/frama-c-callgraph/Manifest |
139 |
+++ b/sci-mathematics/frama-c-callgraph/Manifest |
140 |
@@ -1 +1,2 @@ |
141 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
142 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
143 |
|
144 |
diff --git a/sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild b/sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild |
145 |
new file mode 100644 |
146 |
index 000000000..075d85943 |
147 |
--- /dev/null |
148 |
+++ b/sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild |
149 |
@@ -0,0 +1,57 @@ |
150 |
+# Copyright 1999-2021 Gentoo Authors |
151 |
+# Distributed under the terms of the GNU General Public License v2 |
152 |
+ |
153 |
+EAPI=7 |
154 |
+ |
155 |
+inherit autotools findlib toolchain-funcs |
156 |
+ |
157 |
+DESCRIPTION="Callgraph plugin for frama-c" |
158 |
+HOMEPAGE="https://frama-c.com" |
159 |
+NAME="Chromium" |
160 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
161 |
+ |
162 |
+LICENSE="LGPL-2.1" |
163 |
+SLOT="0" |
164 |
+KEYWORDS="~amd64" |
165 |
+IUSE="gtk +ocamlopt" |
166 |
+RESTRICT="strip" |
167 |
+ |
168 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]" |
169 |
+DEPEND="${RDEPEND}" |
170 |
+# Eva is needed at runtime to run the callgraph plugin, |
171 |
+# but is not needed for compilation (and would introduce a mutual dependency) |
172 |
+PDEPEND="~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]" |
173 |
+ |
174 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
175 |
+ |
176 |
+src_prepare() { |
177 |
+ mv configure.in configure.ac || die |
178 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
179 |
+ touch config_file || die |
180 |
+ eautoreconf |
181 |
+ eapply_user |
182 |
+} |
183 |
+ |
184 |
+src_configure() { |
185 |
+ econf \ |
186 |
+ --disable-landmarks \ |
187 |
+ --with-no-plugin \ |
188 |
+ $(use_enable gtk gui) \ |
189 |
+ --enable-callgraph |
190 |
+ printf 'include share/Makefile.config\n' > src/plugins/callgraph/Makefile || die |
191 |
+ sed -e '/^# *Callgraph/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/callgraph/Makefile || die |
192 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/callgraph/Makefile || die |
193 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
194 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
195 |
+ export HAS_DGRAPH=$(usex gtk yes no) |
196 |
+} |
197 |
+ |
198 |
+src_compile() { |
199 |
+ tc-export AR |
200 |
+ use gtk && emake src/plugins/callgraph/cg_viewer.ml |
201 |
+ emake -f src/plugins/callgraph/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" HAS_DGRAPH="${HAS_DGRAPH}" |
202 |
+} |
203 |
+ |
204 |
+src_install() { |
205 |
+ emake -f src/plugins/callgraph/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" HAS_DGRAPH="${HAS_DGRAPH}" DESTDIR="${ED}" install |
206 |
+} |
207 |
|
208 |
diff --git a/sci-mathematics/frama-c-constant-folding/Manifest b/sci-mathematics/frama-c-constant-folding/Manifest |
209 |
index 94d4a0a85..27f9b08b7 100644 |
210 |
--- a/sci-mathematics/frama-c-constant-folding/Manifest |
211 |
+++ b/sci-mathematics/frama-c-constant-folding/Manifest |
212 |
@@ -1 +1,2 @@ |
213 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
214 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
215 |
|
216 |
diff --git a/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild b/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild |
217 |
new file mode 100644 |
218 |
index 000000000..2c56359bb |
219 |
--- /dev/null |
220 |
+++ b/sci-mathematics/frama-c-constant-folding/frama-c-constant-folding-24.0.ebuild |
221 |
@@ -0,0 +1,59 @@ |
222 |
+# Copyright 1999-2021 Gentoo Authors |
223 |
+# Distributed under the terms of the GNU General Public License v2 |
224 |
+ |
225 |
+EAPI=7 |
226 |
+ |
227 |
+inherit autotools findlib toolchain-funcs |
228 |
+ |
229 |
+DESCRIPTION="Constant folding plugin for frama-c" |
230 |
+HOMEPAGE="https://frama-c.com" |
231 |
+NAME="Chromium" |
232 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
233 |
+ |
234 |
+LICENSE="LGPL-2.1" |
235 |
+SLOT="0" |
236 |
+KEYWORDS="~amd64" |
237 |
+IUSE="+ocamlopt" |
238 |
+RESTRICT="strip" |
239 |
+ |
240 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] |
241 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]" |
242 |
+DEPEND="${RDEPEND}" |
243 |
+ |
244 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
245 |
+ |
246 |
+src_prepare() { |
247 |
+ mv configure.in configure.ac || die |
248 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
249 |
+ touch config_file || die |
250 |
+ eautoreconf |
251 |
+ eapply_user |
252 |
+} |
253 |
+ |
254 |
+src_configure() { |
255 |
+ econf \ |
256 |
+ --disable-landmarks \ |
257 |
+ --with-no-plugin \ |
258 |
+ --disable-gui \ |
259 |
+ --enable-semantic-constant-folding \ |
260 |
+ --enable-eva \ |
261 |
+ --enable-callgraph \ |
262 |
+ --enable-server |
263 |
+ printf 'include share/Makefile.config\n' > src/plugins/constant_propagation/Makefile || die |
264 |
+ sed -e '/^# *Constant propagation/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/constant_propagation/Makefile || die |
265 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/constant_propagation/Makefile || die |
266 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
267 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
268 |
+ export ENABLE_EVA=yes |
269 |
+ export ENABLE_CALLGRAPH=yes |
270 |
+ export ENABLE_SERVER=yes |
271 |
+} |
272 |
+ |
273 |
+src_compile() { |
274 |
+ tc-export AR |
275 |
+ emake -f src/plugins/constant_propagation/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
276 |
+} |
277 |
+ |
278 |
+src_install() { |
279 |
+ emake -f src/plugins/constant_propagation/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
280 |
+} |
281 |
|
282 |
diff --git a/sci-mathematics/frama-c-dive/Manifest b/sci-mathematics/frama-c-dive/Manifest |
283 |
index 94d4a0a85..27f9b08b7 100644 |
284 |
--- a/sci-mathematics/frama-c-dive/Manifest |
285 |
+++ b/sci-mathematics/frama-c-dive/Manifest |
286 |
@@ -1 +1,2 @@ |
287 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
288 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
289 |
|
290 |
diff --git a/sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild b/sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild |
291 |
new file mode 100644 |
292 |
index 000000000..3f17d93b2 |
293 |
--- /dev/null |
294 |
+++ b/sci-mathematics/frama-c-dive/frama-c-dive-24.0.ebuild |
295 |
@@ -0,0 +1,48 @@ |
296 |
+# Copyright 1999-2021 Gentoo Authors |
297 |
+# Distributed under the terms of the GNU General Public License v2 |
298 |
+ |
299 |
+EAPI=7 |
300 |
+ |
301 |
+inherit autotools findlib toolchain-funcs |
302 |
+ |
303 |
+DESCRIPTION="Dive plugin for frama-c" |
304 |
+HOMEPAGE="https://frama-c.com" |
305 |
+NAME="Chromium" |
306 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
307 |
+ |
308 |
+LICENSE="LGPL-2.1" |
309 |
+SLOT="0" |
310 |
+KEYWORDS="~amd64" |
311 |
+IUSE="+ocamlopt" |
312 |
+RESTRICT="strip" |
313 |
+ |
314 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] |
315 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] |
316 |
+ ~sci-mathematics/frama-c-studia-${PV}:=[ocamlopt?] |
317 |
+ ~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]" |
318 |
+DEPEND="${RDEPEND}" |
319 |
+ |
320 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/dive" |
321 |
+ |
322 |
+src_prepare() { |
323 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
324 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
325 |
+ eautoconf |
326 |
+ eapply_user |
327 |
+} |
328 |
+ |
329 |
+src_configure() { |
330 |
+ export ENABLE_EVA=yes |
331 |
+ export ENABLE_STUDIA=yes |
332 |
+ export ENABLE_SERVER=yes |
333 |
+ econf --enable-dive |
334 |
+} |
335 |
+ |
336 |
+src_compile() { |
337 |
+ tc-export AR |
338 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
339 |
+} |
340 |
+ |
341 |
+src_install() { |
342 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
343 |
+} |
344 |
|
345 |
diff --git a/sci-mathematics/frama-c-e-acsl/Manifest b/sci-mathematics/frama-c-e-acsl/Manifest |
346 |
index 94d4a0a85..27f9b08b7 100644 |
347 |
--- a/sci-mathematics/frama-c-e-acsl/Manifest |
348 |
+++ b/sci-mathematics/frama-c-e-acsl/Manifest |
349 |
@@ -1 +1,2 @@ |
350 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
351 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
352 |
|
353 |
diff --git a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild b/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild |
354 |
new file mode 100644 |
355 |
index 000000000..452fd430b |
356 |
--- /dev/null |
357 |
+++ b/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-24.0.ebuild |
358 |
@@ -0,0 +1,47 @@ |
359 |
+# Copyright 1999-2021 Gentoo Authors |
360 |
+# Distributed under the terms of the GNU General Public License v2 |
361 |
+ |
362 |
+EAPI=7 |
363 |
+ |
364 |
+inherit autotools findlib toolchain-funcs |
365 |
+ |
366 |
+DESCRIPTION="Runtime verification of ACSL (E-ACSL) plugin for frama-c" |
367 |
+HOMEPAGE="https://frama-c.com" |
368 |
+NAME="Chromium" |
369 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
370 |
+ |
371 |
+LICENSE="BSD LGPL-2.1" |
372 |
+SLOT="0" |
373 |
+KEYWORDS="~amd64" |
374 |
+IUSE="+ocamlopt" |
375 |
+RESTRICT="strip" |
376 |
+ |
377 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] |
378 |
+ ~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]" |
379 |
+DEPEND="${RDEPEND}" |
380 |
+ |
381 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/e-acsl" |
382 |
+ |
383 |
+src_prepare() { |
384 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
385 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
386 |
+ sed -i '/\$(CC)/s/-O2 -g3/$(CFLAGS)/' Makefile.in || die |
387 |
+ sed -i "s/ranlib/$(tc-getRANLIB)/" Makefile.in || die |
388 |
+ eautoconf |
389 |
+ eapply_user |
390 |
+} |
391 |
+ |
392 |
+src_configure() { |
393 |
+ econf --enable-e-acsl |
394 |
+} |
395 |
+ |
396 |
+src_compile() { |
397 |
+ tc-export AR |
398 |
+ export FRAMAC_ROOT_SRCDIR="${S}/../../.." |
399 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
400 |
+} |
401 |
+ |
402 |
+src_install() { |
403 |
+ export EACSL_INSTALL_LIB_DIR="${ED}/usr/$(get_libdir)/frama-c/e-acsl" |
404 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" EACSL_INSTALL_LIB_DIR="${EACSL_INSTALL_LIB_DIR}" install |
405 |
+} |
406 |
|
407 |
diff --git a/sci-mathematics/frama-c-eva/Manifest b/sci-mathematics/frama-c-eva/Manifest |
408 |
index 94d4a0a85..27f9b08b7 100644 |
409 |
--- a/sci-mathematics/frama-c-eva/Manifest |
410 |
+++ b/sci-mathematics/frama-c-eva/Manifest |
411 |
@@ -1 +1,2 @@ |
412 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
413 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
414 |
|
415 |
diff --git a/sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild b/sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild |
416 |
new file mode 100644 |
417 |
index 000000000..c9c0fb661 |
418 |
--- /dev/null |
419 |
+++ b/sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild |
420 |
@@ -0,0 +1,61 @@ |
421 |
+# Copyright 1999-2021 Gentoo Authors |
422 |
+# Distributed under the terms of the GNU General Public License v2 |
423 |
+ |
424 |
+EAPI=7 |
425 |
+ |
426 |
+inherit autotools findlib toolchain-funcs |
427 |
+ |
428 |
+DESCRIPTION="Value analysis (EVA) plugin for frama-c" |
429 |
+HOMEPAGE="https://frama-c.com" |
430 |
+NAME="Chromium" |
431 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
432 |
+ |
433 |
+LICENSE="LGPL-2.1" |
434 |
+SLOT="0" |
435 |
+KEYWORDS="~amd64" |
436 |
+IUSE="gtk +ocamlopt" |
437 |
+RESTRICT="strip" |
438 |
+ |
439 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?] |
440 |
+ ~sci-mathematics/frama-c-callgraph-${PV}:=[gtk?,ocamlopt?] |
441 |
+ ~sci-mathematics/frama-c-loopanalysis-${PV}:=[ocamlopt?] |
442 |
+ ~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?] |
443 |
+ ~sci-mathematics/frama-c-server-${PV}:=[ocamlopt?]" |
444 |
+DEPEND="${RDEPEND}" |
445 |
+# Eva needs the "scope" plugin at runtime, which provides rm_assert |
446 |
+# But it is not needed for compilation, and would introduce a mutual dependency |
447 |
+PDEPEND="~sci-mathematics/frama-c-scope-${PV}:=[ocamlopt?]" |
448 |
+ |
449 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
450 |
+ |
451 |
+src_prepare() { |
452 |
+ mv configure.in configure.ac || die |
453 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
454 |
+ touch config_file || die |
455 |
+ eautoreconf |
456 |
+ eapply_user |
457 |
+} |
458 |
+ |
459 |
+src_configure() { |
460 |
+ econf \ |
461 |
+ --disable-landmarks \ |
462 |
+ --with-no-plugin \ |
463 |
+ $(use_enable gtk gui) \ |
464 |
+ --enable-callgraph \ |
465 |
+ --enable-server \ |
466 |
+ --enable-eva |
467 |
+ printf 'include share/Makefile.config\n' > src/plugins/value/Makefile || die |
468 |
+ sed -e '/^# *Evolved Value Analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/value/Makefile || die |
469 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/value/Makefile || die |
470 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
471 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
472 |
+} |
473 |
+ |
474 |
+src_compile() { |
475 |
+ tc-export AR |
476 |
+ emake -f src/plugins/value/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
477 |
+} |
478 |
+ |
479 |
+src_install() { |
480 |
+ emake -f src/plugins/value/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
481 |
+} |
482 |
|
483 |
diff --git a/sci-mathematics/frama-c-from/Manifest b/sci-mathematics/frama-c-from/Manifest |
484 |
index 94d4a0a85..27f9b08b7 100644 |
485 |
--- a/sci-mathematics/frama-c-from/Manifest |
486 |
+++ b/sci-mathematics/frama-c-from/Manifest |
487 |
@@ -1 +1,2 @@ |
488 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
489 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
490 |
|
491 |
diff --git a/sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild b/sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild |
492 |
new file mode 100644 |
493 |
index 000000000..ac43694b2 |
494 |
--- /dev/null |
495 |
+++ b/sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild |
496 |
@@ -0,0 +1,59 @@ |
497 |
+# Copyright 1999-2021 Gentoo Authors |
498 |
+# Distributed under the terms of the GNU General Public License v2 |
499 |
+ |
500 |
+EAPI=7 |
501 |
+ |
502 |
+inherit autotools findlib toolchain-funcs |
503 |
+ |
504 |
+DESCRIPTION="From analysis plugin for frama-c" |
505 |
+HOMEPAGE="https://frama-c.com" |
506 |
+NAME="Chromium" |
507 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
508 |
+ |
509 |
+LICENSE="LGPL-2.1" |
510 |
+SLOT="0" |
511 |
+KEYWORDS="~amd64" |
512 |
+IUSE="gtk +ocamlopt" |
513 |
+RESTRICT="strip" |
514 |
+ |
515 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?] |
516 |
+ ~sci-mathematics/frama-c-callgraph-${PV}:=[gtk?,ocamlopt?] |
517 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?] |
518 |
+ ~sci-mathematics/frama-c-postdominators-${PV}:=[ocamlopt?]" |
519 |
+DEPEND="${RDEPEND}" |
520 |
+ |
521 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
522 |
+ |
523 |
+src_prepare() { |
524 |
+ mv configure.in configure.ac || die |
525 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
526 |
+ touch config_file || die |
527 |
+ eautoreconf |
528 |
+ eapply_user |
529 |
+} |
530 |
+ |
531 |
+src_configure() { |
532 |
+ econf \ |
533 |
+ --disable-landmarks \ |
534 |
+ --with-no-plugin \ |
535 |
+ $(use_enable gtk gui) \ |
536 |
+ --enable-from-analysis \ |
537 |
+ --enable-callgraph \ |
538 |
+ --enable-eva \ |
539 |
+ --enable-server \ |
540 |
+ --enable-postdominators |
541 |
+ printf 'include share/Makefile.config\n' > src/plugins/from/Makefile || die |
542 |
+ sed -e '/^# *From analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/from/Makefile || die |
543 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/from/Makefile || die |
544 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
545 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
546 |
+} |
547 |
+ |
548 |
+src_compile() { |
549 |
+ tc-export AR |
550 |
+ emake -f src/plugins/from/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
551 |
+} |
552 |
+ |
553 |
+src_install() { |
554 |
+ emake -f src/plugins/from/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
555 |
+} |
556 |
|
557 |
diff --git a/sci-mathematics/frama-c-impact/Manifest b/sci-mathematics/frama-c-impact/Manifest |
558 |
index 94d4a0a85..27f9b08b7 100644 |
559 |
--- a/sci-mathematics/frama-c-impact/Manifest |
560 |
+++ b/sci-mathematics/frama-c-impact/Manifest |
561 |
@@ -1 +1,2 @@ |
562 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
563 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
564 |
|
565 |
diff --git a/sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild b/sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild |
566 |
new file mode 100644 |
567 |
index 000000000..9e02aca3d |
568 |
--- /dev/null |
569 |
+++ b/sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild |
570 |
@@ -0,0 +1,66 @@ |
571 |
+# Copyright 1999-2021 Gentoo Authors |
572 |
+# Distributed under the terms of the GNU General Public License v2 |
573 |
+ |
574 |
+EAPI=7 |
575 |
+ |
576 |
+inherit autotools findlib toolchain-funcs |
577 |
+ |
578 |
+DESCRIPTION="Impact plugin for frama-c" |
579 |
+HOMEPAGE="https://frama-c.com" |
580 |
+NAME="Chromium" |
581 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
582 |
+ |
583 |
+LICENSE="LGPL-2.1" |
584 |
+SLOT="0" |
585 |
+KEYWORDS="~amd64" |
586 |
+IUSE="gtk +ocamlopt" |
587 |
+RESTRICT="strip" |
588 |
+ |
589 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?] |
590 |
+ ~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?] |
591 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?] |
592 |
+ ~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?] |
593 |
+ ~sci-mathematics/frama-c-slicing-${PV}:=[gtk?,ocamlopt?]" |
594 |
+DEPEND="${RDEPEND}" |
595 |
+ |
596 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
597 |
+ |
598 |
+src_prepare() { |
599 |
+ mv configure.in configure.ac || die |
600 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
601 |
+ touch config_file || die |
602 |
+ eautoreconf |
603 |
+ eapply_user |
604 |
+} |
605 |
+ |
606 |
+src_configure() { |
607 |
+ econf \ |
608 |
+ --disable-landmarks \ |
609 |
+ --with-no-plugin \ |
610 |
+ $(use_enable gtk gui) \ |
611 |
+ --enable-impact \ |
612 |
+ --enable-inout \ |
613 |
+ --enable-slicing \ |
614 |
+ --enable-from-analysis \ |
615 |
+ --enable-callgraph \ |
616 |
+ --enable-eva \ |
617 |
+ --enable-server \ |
618 |
+ --enable-postdominators \ |
619 |
+ --enable-pdg \ |
620 |
+ --enable-sparecode \ |
621 |
+ --enable-users |
622 |
+ printf 'include share/Makefile.config\n' > src/plugins/impact/Makefile || die |
623 |
+ sed -e '/^# *Impact analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/impact/Makefile || die |
624 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/impact/Makefile || die |
625 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
626 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
627 |
+} |
628 |
+ |
629 |
+src_compile() { |
630 |
+ tc-export AR |
631 |
+ emake -f src/plugins/impact/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
632 |
+} |
633 |
+ |
634 |
+src_install() { |
635 |
+ emake -f src/plugins/impact/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
636 |
+} |
637 |
|
638 |
diff --git a/sci-mathematics/frama-c-inout/Manifest b/sci-mathematics/frama-c-inout/Manifest |
639 |
index 94d4a0a85..27f9b08b7 100644 |
640 |
--- a/sci-mathematics/frama-c-inout/Manifest |
641 |
+++ b/sci-mathematics/frama-c-inout/Manifest |
642 |
@@ -1 +1,2 @@ |
643 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
644 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
645 |
|
646 |
diff --git a/sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild b/sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild |
647 |
new file mode 100644 |
648 |
index 000000000..392f8e720 |
649 |
--- /dev/null |
650 |
+++ b/sci-mathematics/frama-c-inout/frama-c-inout-24.0.ebuild |
651 |
@@ -0,0 +1,59 @@ |
652 |
+# Copyright 1999-2021 Gentoo Authors |
653 |
+# Distributed under the terms of the GNU General Public License v2 |
654 |
+ |
655 |
+EAPI=7 |
656 |
+ |
657 |
+inherit autotools findlib toolchain-funcs |
658 |
+ |
659 |
+DESCRIPTION="In/out analysis plugin for frama-c" |
660 |
+HOMEPAGE="https://frama-c.com" |
661 |
+NAME="Chromium" |
662 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
663 |
+ |
664 |
+LICENSE="LGPL-2.1" |
665 |
+SLOT="0" |
666 |
+KEYWORDS="~amd64" |
667 |
+IUSE="+ocamlopt" |
668 |
+RESTRICT="strip" |
669 |
+ |
670 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] |
671 |
+ ~sci-mathematics/frama-c-callgraph-${PV}:=[ocamlopt?] |
672 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] |
673 |
+ ~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]" |
674 |
+DEPEND="${RDEPEND}" |
675 |
+ |
676 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
677 |
+ |
678 |
+src_prepare() { |
679 |
+ mv configure.in configure.ac || die |
680 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
681 |
+ touch config_file || die |
682 |
+ eautoreconf |
683 |
+ eapply_user |
684 |
+} |
685 |
+ |
686 |
+src_configure() { |
687 |
+ econf \ |
688 |
+ --disable-landmarks \ |
689 |
+ --with-no-plugin \ |
690 |
+ --disable-gui \ |
691 |
+ --enable-inout \ |
692 |
+ --enable-from-analysis \ |
693 |
+ --enable-callgraph \ |
694 |
+ --enable-eva \ |
695 |
+ --enable-server |
696 |
+ printf 'include share/Makefile.config\n' > src/plugins/inout/Makefile || die |
697 |
+ sed -e '/^# *inout/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/inout/Makefile || die |
698 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/inout/Makefile || die |
699 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
700 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
701 |
+} |
702 |
+ |
703 |
+src_compile() { |
704 |
+ tc-export AR |
705 |
+ emake -f src/plugins/inout/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
706 |
+} |
707 |
+ |
708 |
+src_install() { |
709 |
+ emake -f src/plugins/inout/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
710 |
+} |
711 |
|
712 |
diff --git a/sci-mathematics/frama-c-instantiate/Manifest b/sci-mathematics/frama-c-instantiate/Manifest |
713 |
index 94d4a0a85..27f9b08b7 100644 |
714 |
--- a/sci-mathematics/frama-c-instantiate/Manifest |
715 |
+++ b/sci-mathematics/frama-c-instantiate/Manifest |
716 |
@@ -1 +1,2 @@ |
717 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
718 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
719 |
|
720 |
diff --git a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild |
721 |
new file mode 100644 |
722 |
index 000000000..6b748f9c1 |
723 |
--- /dev/null |
724 |
+++ b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-24.0.ebuild |
725 |
@@ -0,0 +1,42 @@ |
726 |
+# Copyright 1999-2021 Gentoo Authors |
727 |
+# Distributed under the terms of the GNU General Public License v2 |
728 |
+ |
729 |
+EAPI=7 |
730 |
+ |
731 |
+inherit autotools findlib toolchain-funcs |
732 |
+ |
733 |
+DESCRIPTION="Instantiate analysis plugin for frama-c" |
734 |
+HOMEPAGE="https://frama-c.com" |
735 |
+NAME="Chromium" |
736 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
737 |
+ |
738 |
+LICENSE="LGPL-2.1" |
739 |
+SLOT="0" |
740 |
+KEYWORDS="~amd64" |
741 |
+IUSE="+ocamlopt" |
742 |
+RESTRICT="strip" |
743 |
+ |
744 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" |
745 |
+DEPEND="${RDEPEND}" |
746 |
+ |
747 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/instantiate" |
748 |
+ |
749 |
+src_prepare() { |
750 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
751 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
752 |
+ eautoconf |
753 |
+ eapply_user |
754 |
+} |
755 |
+ |
756 |
+src_configure() { |
757 |
+ econf --enable-instantiate |
758 |
+} |
759 |
+ |
760 |
+src_compile() { |
761 |
+ tc-export AR |
762 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
763 |
+} |
764 |
+ |
765 |
+src_install() { |
766 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
767 |
+} |
768 |
|
769 |
diff --git a/sci-mathematics/frama-c-loopanalysis/Manifest b/sci-mathematics/frama-c-loopanalysis/Manifest |
770 |
index 94d4a0a85..27f9b08b7 100644 |
771 |
--- a/sci-mathematics/frama-c-loopanalysis/Manifest |
772 |
+++ b/sci-mathematics/frama-c-loopanalysis/Manifest |
773 |
@@ -1 +1,2 @@ |
774 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
775 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
776 |
|
777 |
diff --git a/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild b/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild |
778 |
new file mode 100644 |
779 |
index 000000000..bb7802261 |
780 |
--- /dev/null |
781 |
+++ b/sci-mathematics/frama-c-loopanalysis/frama-c-loopanalysis-24.0.ebuild |
782 |
@@ -0,0 +1,42 @@ |
783 |
+# Copyright 1999-2021 Gentoo Authors |
784 |
+# Distributed under the terms of the GNU General Public License v2 |
785 |
+ |
786 |
+EAPI=7 |
787 |
+ |
788 |
+inherit autotools findlib toolchain-funcs |
789 |
+ |
790 |
+DESCRIPTION="Loop analysis plugin for frama-c" |
791 |
+HOMEPAGE="https://frama-c.com" |
792 |
+NAME="Chromium" |
793 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
794 |
+ |
795 |
+LICENSE="LGPL-2.1" |
796 |
+SLOT="0" |
797 |
+KEYWORDS="~amd64" |
798 |
+IUSE="+ocamlopt" |
799 |
+RESTRICT="strip" |
800 |
+ |
801 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" |
802 |
+DEPEND="${RDEPEND}" |
803 |
+ |
804 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/loop_analysis" |
805 |
+ |
806 |
+src_prepare() { |
807 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
808 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
809 |
+ eautoconf |
810 |
+ eapply_user |
811 |
+} |
812 |
+ |
813 |
+src_configure() { |
814 |
+ econf --enable-loop-analysis |
815 |
+} |
816 |
+ |
817 |
+src_compile() { |
818 |
+ tc-export AR |
819 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
820 |
+} |
821 |
+ |
822 |
+src_install() { |
823 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
824 |
+} |
825 |
|
826 |
diff --git a/sci-mathematics/frama-c-metrics/Manifest b/sci-mathematics/frama-c-metrics/Manifest |
827 |
index 94d4a0a85..27f9b08b7 100644 |
828 |
--- a/sci-mathematics/frama-c-metrics/Manifest |
829 |
+++ b/sci-mathematics/frama-c-metrics/Manifest |
830 |
@@ -1 +1,2 @@ |
831 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
832 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
833 |
|
834 |
diff --git a/sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild b/sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild |
835 |
new file mode 100644 |
836 |
index 000000000..e6e9b7966 |
837 |
--- /dev/null |
838 |
+++ b/sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild |
839 |
@@ -0,0 +1,56 @@ |
840 |
+# Copyright 1999-2021 Gentoo Authors |
841 |
+# Distributed under the terms of the GNU General Public License v2 |
842 |
+ |
843 |
+EAPI=7 |
844 |
+ |
845 |
+inherit autotools findlib toolchain-funcs |
846 |
+ |
847 |
+DESCRIPTION="Metrics plugin for frama-c" |
848 |
+HOMEPAGE="https://frama-c.com" |
849 |
+NAME="Chromium" |
850 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
851 |
+ |
852 |
+LICENSE="LGPL-2.1" |
853 |
+SLOT="0" |
854 |
+KEYWORDS="~amd64" |
855 |
+IUSE="gtk +ocamlopt" |
856 |
+RESTRICT="strip" |
857 |
+ |
858 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?] |
859 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]" |
860 |
+DEPEND="${RDEPEND}" |
861 |
+ |
862 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
863 |
+ |
864 |
+src_prepare() { |
865 |
+ mv configure.in configure.ac || die |
866 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
867 |
+ touch config_file || die |
868 |
+ eautoreconf |
869 |
+ eapply_user |
870 |
+} |
871 |
+ |
872 |
+src_configure() { |
873 |
+ econf \ |
874 |
+ --disable-landmarks \ |
875 |
+ --with-no-plugin \ |
876 |
+ $(use_enable gtk gui) \ |
877 |
+ --enable-metrics \ |
878 |
+ --enable-callgraph \ |
879 |
+ --enable-eva \ |
880 |
+ --enable-server |
881 |
+ printf 'include share/Makefile.config\n' > src/plugins/metrics/Makefile || die |
882 |
+ sed -e '/^# *Metrics/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/metrics/Makefile || die |
883 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/metrics/Makefile || die |
884 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
885 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
886 |
+} |
887 |
+ |
888 |
+src_compile() { |
889 |
+ tc-export AR |
890 |
+ emake -f src/plugins/metrics/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
891 |
+} |
892 |
+ |
893 |
+src_install() { |
894 |
+ emake -f src/plugins/metrics/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
895 |
+} |
896 |
|
897 |
diff --git a/sci-mathematics/frama-c-nonterm/Manifest b/sci-mathematics/frama-c-nonterm/Manifest |
898 |
index 94d4a0a85..27f9b08b7 100644 |
899 |
--- a/sci-mathematics/frama-c-nonterm/Manifest |
900 |
+++ b/sci-mathematics/frama-c-nonterm/Manifest |
901 |
@@ -1 +1,2 @@ |
902 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
903 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
904 |
|
905 |
diff --git a/sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild b/sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild |
906 |
new file mode 100644 |
907 |
index 000000000..23dfd923b |
908 |
--- /dev/null |
909 |
+++ b/sci-mathematics/frama-c-nonterm/frama-c-nonterm-24.0.ebuild |
910 |
@@ -0,0 +1,44 @@ |
911 |
+# Copyright 1999-2021 Gentoo Authors |
912 |
+# Distributed under the terms of the GNU General Public License v2 |
913 |
+ |
914 |
+EAPI=7 |
915 |
+ |
916 |
+inherit autotools findlib toolchain-funcs |
917 |
+ |
918 |
+DESCRIPTION="Nonterm plugin for frama-c" |
919 |
+HOMEPAGE="https://frama-c.com" |
920 |
+NAME="Chromium" |
921 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
922 |
+ |
923 |
+LICENSE="LGPL-2.1" |
924 |
+SLOT="0" |
925 |
+KEYWORDS="~amd64" |
926 |
+IUSE="+ocamlopt" |
927 |
+RESTRICT="strip" |
928 |
+ |
929 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] |
930 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]" |
931 |
+DEPEND="${RDEPEND}" |
932 |
+ |
933 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/nonterm" |
934 |
+ |
935 |
+src_prepare() { |
936 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
937 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
938 |
+ eautoconf |
939 |
+ eapply_user |
940 |
+} |
941 |
+ |
942 |
+src_configure() { |
943 |
+ export ENABLE_EVA=yes |
944 |
+ econf --enable-nonterm |
945 |
+} |
946 |
+ |
947 |
+src_compile() { |
948 |
+ tc-export AR |
949 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
950 |
+} |
951 |
+ |
952 |
+src_install() { |
953 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
954 |
+} |
955 |
|
956 |
diff --git a/sci-mathematics/frama-c-obfuscator/Manifest b/sci-mathematics/frama-c-obfuscator/Manifest |
957 |
index 94d4a0a85..27f9b08b7 100644 |
958 |
--- a/sci-mathematics/frama-c-obfuscator/Manifest |
959 |
+++ b/sci-mathematics/frama-c-obfuscator/Manifest |
960 |
@@ -1 +1,2 @@ |
961 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
962 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
963 |
|
964 |
diff --git a/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild b/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild |
965 |
new file mode 100644 |
966 |
index 000000000..9730bbb6f |
967 |
--- /dev/null |
968 |
+++ b/sci-mathematics/frama-c-obfuscator/frama-c-obfuscator-24.0.ebuild |
969 |
@@ -0,0 +1,42 @@ |
970 |
+# Copyright 1999-2021 Gentoo Authors |
971 |
+# Distributed under the terms of the GNU General Public License v2 |
972 |
+ |
973 |
+EAPI=7 |
974 |
+ |
975 |
+inherit autotools findlib toolchain-funcs |
976 |
+ |
977 |
+DESCRIPTION="Obfuscator plugin for frama-c" |
978 |
+HOMEPAGE="https://frama-c.com" |
979 |
+NAME="Chromium" |
980 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
981 |
+ |
982 |
+LICENSE="LGPL-2.1" |
983 |
+SLOT="0" |
984 |
+KEYWORDS="~amd64" |
985 |
+IUSE="+ocamlopt" |
986 |
+RESTRICT="strip" |
987 |
+ |
988 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" |
989 |
+DEPEND="${RDEPEND}" |
990 |
+ |
991 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/obfuscator" |
992 |
+ |
993 |
+src_prepare() { |
994 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
995 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
996 |
+ eautoconf |
997 |
+ eapply_user |
998 |
+} |
999 |
+ |
1000 |
+src_configure() { |
1001 |
+ econf --enable-obfuscator |
1002 |
+} |
1003 |
+ |
1004 |
+src_compile() { |
1005 |
+ tc-export AR |
1006 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1007 |
+} |
1008 |
+ |
1009 |
+src_install() { |
1010 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1011 |
+} |
1012 |
|
1013 |
diff --git a/sci-mathematics/frama-c-occurrence/Manifest b/sci-mathematics/frama-c-occurrence/Manifest |
1014 |
index 94d4a0a85..27f9b08b7 100644 |
1015 |
--- a/sci-mathematics/frama-c-occurrence/Manifest |
1016 |
+++ b/sci-mathematics/frama-c-occurrence/Manifest |
1017 |
@@ -1 +1,2 @@ |
1018 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1019 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1020 |
|
1021 |
diff --git a/sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild b/sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild |
1022 |
new file mode 100644 |
1023 |
index 000000000..f1405f842 |
1024 |
--- /dev/null |
1025 |
+++ b/sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild |
1026 |
@@ -0,0 +1,56 @@ |
1027 |
+# Copyright 1999-2021 Gentoo Authors |
1028 |
+# Distributed under the terms of the GNU General Public License v2 |
1029 |
+ |
1030 |
+EAPI=7 |
1031 |
+ |
1032 |
+inherit autotools findlib toolchain-funcs |
1033 |
+ |
1034 |
+DESCRIPTION="Occurrence analysis plugin for frama-c" |
1035 |
+HOMEPAGE="https://frama-c.com" |
1036 |
+NAME="Chromium" |
1037 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1038 |
+ |
1039 |
+LICENSE="LGPL-2.1" |
1040 |
+SLOT="0" |
1041 |
+KEYWORDS="~amd64" |
1042 |
+IUSE="gtk +ocamlopt" |
1043 |
+RESTRICT="strip" |
1044 |
+ |
1045 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?] |
1046 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]" |
1047 |
+DEPEND="${RDEPEND}" |
1048 |
+ |
1049 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
1050 |
+ |
1051 |
+src_prepare() { |
1052 |
+ mv configure.in configure.ac || die |
1053 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
1054 |
+ touch config_file || die |
1055 |
+ eautoreconf |
1056 |
+ eapply_user |
1057 |
+} |
1058 |
+ |
1059 |
+src_configure() { |
1060 |
+ econf \ |
1061 |
+ --disable-landmarks \ |
1062 |
+ --with-no-plugin \ |
1063 |
+ $(use_enable gtk gui) \ |
1064 |
+ --enable-occurrence \ |
1065 |
+ --enable-callgraph \ |
1066 |
+ --enable-eva \ |
1067 |
+ --enable-server |
1068 |
+ printf 'include share/Makefile.config\n' > src/plugins/occurrence/Makefile || die |
1069 |
+ sed -e '/^# *Occurrence/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/occurrence/Makefile || die |
1070 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/occurrence/Makefile || die |
1071 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1072 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1073 |
+} |
1074 |
+ |
1075 |
+src_compile() { |
1076 |
+ tc-export AR |
1077 |
+ emake -f src/plugins/occurrence/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1078 |
+} |
1079 |
+ |
1080 |
+src_install() { |
1081 |
+ emake -f src/plugins/occurrence/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1082 |
+} |
1083 |
|
1084 |
diff --git a/sci-mathematics/frama-c-pdg/Manifest b/sci-mathematics/frama-c-pdg/Manifest |
1085 |
index 94d4a0a85..27f9b08b7 100644 |
1086 |
--- a/sci-mathematics/frama-c-pdg/Manifest |
1087 |
+++ b/sci-mathematics/frama-c-pdg/Manifest |
1088 |
@@ -1 +1,2 @@ |
1089 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1090 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1091 |
|
1092 |
diff --git a/sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild b/sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild |
1093 |
new file mode 100644 |
1094 |
index 000000000..7a5ba7159 |
1095 |
--- /dev/null |
1096 |
+++ b/sci-mathematics/frama-c-pdg/frama-c-pdg-24.0.ebuild |
1097 |
@@ -0,0 +1,59 @@ |
1098 |
+# Copyright 1999-2021 Gentoo Authors |
1099 |
+# Distributed under the terms of the GNU General Public License v2 |
1100 |
+ |
1101 |
+EAPI=7 |
1102 |
+ |
1103 |
+inherit autotools findlib toolchain-funcs |
1104 |
+ |
1105 |
+DESCRIPTION="Program dependence graph plugin for frama-c" |
1106 |
+HOMEPAGE="https://frama-c.com" |
1107 |
+NAME="Chromium" |
1108 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1109 |
+ |
1110 |
+LICENSE="LGPL-2.1" |
1111 |
+SLOT="0" |
1112 |
+KEYWORDS="~amd64" |
1113 |
+IUSE="+ocamlopt" |
1114 |
+RESTRICT="strip" |
1115 |
+ |
1116 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] |
1117 |
+ ~sci-mathematics/frama-c-callgraph-${PV}:=[ocamlopt?] |
1118 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] |
1119 |
+ ~sci-mathematics/frama-c-from-${PV}:=[ocamlopt?]" |
1120 |
+DEPEND="${RDEPEND}" |
1121 |
+ |
1122 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
1123 |
+ |
1124 |
+src_prepare() { |
1125 |
+ mv configure.in configure.ac || die |
1126 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
1127 |
+ touch config_file || die |
1128 |
+ eautoreconf |
1129 |
+ eapply_user |
1130 |
+} |
1131 |
+ |
1132 |
+src_configure() { |
1133 |
+ econf \ |
1134 |
+ --disable-landmarks \ |
1135 |
+ --with-no-plugin \ |
1136 |
+ --disable-gui \ |
1137 |
+ --enable-pdg \ |
1138 |
+ --enable-callgraph \ |
1139 |
+ --enable-eva \ |
1140 |
+ --enable-server \ |
1141 |
+ --enable-from-analysis |
1142 |
+ printf 'include share/Makefile.config\n' > src/plugins/pdg/Makefile || die |
1143 |
+ sed -e '/^# *PDG : program dependence graph/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/pdg/Makefile || die |
1144 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/pdg/Makefile || die |
1145 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1146 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1147 |
+} |
1148 |
+ |
1149 |
+src_compile() { |
1150 |
+ tc-export AR |
1151 |
+ emake -f src/plugins/pdg/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1152 |
+} |
1153 |
+ |
1154 |
+src_install() { |
1155 |
+ emake -f src/plugins/pdg/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1156 |
+} |
1157 |
|
1158 |
diff --git a/sci-mathematics/frama-c-postdominators/Manifest b/sci-mathematics/frama-c-postdominators/Manifest |
1159 |
index 94d4a0a85..27f9b08b7 100644 |
1160 |
--- a/sci-mathematics/frama-c-postdominators/Manifest |
1161 |
+++ b/sci-mathematics/frama-c-postdominators/Manifest |
1162 |
@@ -1 +1,2 @@ |
1163 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1164 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1165 |
|
1166 |
diff --git a/sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild b/sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild |
1167 |
new file mode 100644 |
1168 |
index 000000000..2d729bee1 |
1169 |
--- /dev/null |
1170 |
+++ b/sci-mathematics/frama-c-postdominators/frama-c-postdominators-24.0.ebuild |
1171 |
@@ -0,0 +1,52 @@ |
1172 |
+# Copyright 1999-2021 Gentoo Authors |
1173 |
+# Distributed under the terms of the GNU General Public License v2 |
1174 |
+ |
1175 |
+EAPI=7 |
1176 |
+ |
1177 |
+inherit autotools findlib toolchain-funcs |
1178 |
+ |
1179 |
+DESCRIPTION="Postdominators plugin for frama-c" |
1180 |
+HOMEPAGE="https://frama-c.com" |
1181 |
+NAME="Chromium" |
1182 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1183 |
+ |
1184 |
+LICENSE="LGPL-2.1" |
1185 |
+SLOT="0" |
1186 |
+KEYWORDS="~amd64" |
1187 |
+IUSE="+ocamlopt" |
1188 |
+RESTRICT="strip" |
1189 |
+ |
1190 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" |
1191 |
+DEPEND="${RDEPEND}" |
1192 |
+ |
1193 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
1194 |
+ |
1195 |
+src_prepare() { |
1196 |
+ mv configure.in configure.ac || die |
1197 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
1198 |
+ touch config_file || die |
1199 |
+ eautoreconf |
1200 |
+ eapply_user |
1201 |
+} |
1202 |
+ |
1203 |
+src_configure() { |
1204 |
+ econf \ |
1205 |
+ --disable-landmarks \ |
1206 |
+ --with-no-plugin \ |
1207 |
+ --disable-gui \ |
1208 |
+ --enable-postdominators |
1209 |
+ printf 'include share/Makefile.config\n' > src/plugins/postdominators/Makefile || die |
1210 |
+ sed -e '/^# *Post-dominators/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/postdominators/Makefile || die |
1211 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/postdominators/Makefile || die |
1212 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1213 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1214 |
+} |
1215 |
+ |
1216 |
+src_compile() { |
1217 |
+ tc-export AR |
1218 |
+ emake -f src/plugins/postdominators/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1219 |
+} |
1220 |
+ |
1221 |
+src_install() { |
1222 |
+ emake -f src/plugins/postdominators/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1223 |
+} |
1224 |
|
1225 |
diff --git a/sci-mathematics/frama-c-printapi/Manifest b/sci-mathematics/frama-c-printapi/Manifest |
1226 |
index 94d4a0a85..27f9b08b7 100644 |
1227 |
--- a/sci-mathematics/frama-c-printapi/Manifest |
1228 |
+++ b/sci-mathematics/frama-c-printapi/Manifest |
1229 |
@@ -1 +1,2 @@ |
1230 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1231 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1232 |
|
1233 |
diff --git a/sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild b/sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild |
1234 |
new file mode 100644 |
1235 |
index 000000000..c48b0f7da |
1236 |
--- /dev/null |
1237 |
+++ b/sci-mathematics/frama-c-printapi/frama-c-printapi-24.0.ebuild |
1238 |
@@ -0,0 +1,33 @@ |
1239 |
+# Copyright 1999-2021 Gentoo Authors |
1240 |
+# Distributed under the terms of the GNU General Public License v2 |
1241 |
+ |
1242 |
+EAPI=7 |
1243 |
+ |
1244 |
+inherit findlib toolchain-funcs |
1245 |
+ |
1246 |
+DESCRIPTION="Plugin generating .mli interface files for plugin APIs for frama-c" |
1247 |
+HOMEPAGE="https://frama-c.com" |
1248 |
+NAME="Chromium" |
1249 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1250 |
+ |
1251 |
+LICENSE="LGPL-2.1" |
1252 |
+SLOT="0" |
1253 |
+KEYWORDS="~amd64" |
1254 |
+IUSE="+ocamlopt" |
1255 |
+RESTRICT="strip" |
1256 |
+ |
1257 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" |
1258 |
+DEPEND="${RDEPEND}" |
1259 |
+ |
1260 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/print_api" |
1261 |
+ |
1262 |
+src_compile() { |
1263 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1264 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1265 |
+ tc-export AR |
1266 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1267 |
+} |
1268 |
+ |
1269 |
+src_install() { |
1270 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1271 |
+} |
1272 |
|
1273 |
diff --git a/sci-mathematics/frama-c-qed/Manifest b/sci-mathematics/frama-c-qed/Manifest |
1274 |
index 94d4a0a85..27f9b08b7 100644 |
1275 |
--- a/sci-mathematics/frama-c-qed/Manifest |
1276 |
+++ b/sci-mathematics/frama-c-qed/Manifest |
1277 |
@@ -1 +1,2 @@ |
1278 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1279 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1280 |
|
1281 |
diff --git a/sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild b/sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild |
1282 |
new file mode 100644 |
1283 |
index 000000000..7af1e560d |
1284 |
--- /dev/null |
1285 |
+++ b/sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild |
1286 |
@@ -0,0 +1,34 @@ |
1287 |
+# Copyright 1999-2021 Gentoo Authors |
1288 |
+# Distributed under the terms of the GNU General Public License v2 |
1289 |
+ |
1290 |
+EAPI=7 |
1291 |
+ |
1292 |
+inherit findlib toolchain-funcs |
1293 |
+ |
1294 |
+DESCRIPTION="Qed plugin for frama-c" |
1295 |
+HOMEPAGE="https://frama-c.com" |
1296 |
+NAME="Chromium" |
1297 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1298 |
+ |
1299 |
+LICENSE="LGPL-2.1" |
1300 |
+SLOT="0" |
1301 |
+KEYWORDS="~amd64" |
1302 |
+IUSE="gtk +ocamlopt" |
1303 |
+RESTRICT="strip" |
1304 |
+ |
1305 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]" |
1306 |
+DEPEND="${RDEPEND}" |
1307 |
+ |
1308 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/qed" |
1309 |
+ |
1310 |
+src_compile() { |
1311 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1312 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1313 |
+ export ENABLE_GUI="$(usex gtk yes no)" |
1314 |
+ tc-export AR |
1315 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" |
1316 |
+} |
1317 |
+ |
1318 |
+src_install() { |
1319 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" DESTDIR="${ED}" install |
1320 |
+} |
1321 |
|
1322 |
diff --git a/sci-mathematics/frama-c-report/Manifest b/sci-mathematics/frama-c-report/Manifest |
1323 |
index 94d4a0a85..27f9b08b7 100644 |
1324 |
--- a/sci-mathematics/frama-c-report/Manifest |
1325 |
+++ b/sci-mathematics/frama-c-report/Manifest |
1326 |
@@ -1 +1,2 @@ |
1327 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1328 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1329 |
|
1330 |
diff --git a/sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild b/sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild |
1331 |
new file mode 100644 |
1332 |
index 000000000..21ca892ea |
1333 |
--- /dev/null |
1334 |
+++ b/sci-mathematics/frama-c-report/frama-c-report-24.0.ebuild |
1335 |
@@ -0,0 +1,42 @@ |
1336 |
+# Copyright 1999-2021 Gentoo Authors |
1337 |
+# Distributed under the terms of the GNU General Public License v2 |
1338 |
+ |
1339 |
+EAPI=7 |
1340 |
+ |
1341 |
+inherit autotools findlib toolchain-funcs |
1342 |
+ |
1343 |
+DESCRIPTION="Report plugin for frama-c" |
1344 |
+HOMEPAGE="https://frama-c.com" |
1345 |
+NAME="Chromium" |
1346 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1347 |
+ |
1348 |
+LICENSE="LGPL-2.1" |
1349 |
+SLOT="0" |
1350 |
+KEYWORDS="~amd64" |
1351 |
+IUSE="+ocamlopt" |
1352 |
+RESTRICT="strip" |
1353 |
+ |
1354 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" |
1355 |
+DEPEND="${RDEPEND}" |
1356 |
+ |
1357 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/report" |
1358 |
+ |
1359 |
+src_prepare() { |
1360 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1361 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1362 |
+ eautoconf |
1363 |
+ eapply_user |
1364 |
+} |
1365 |
+ |
1366 |
+src_configure() { |
1367 |
+ econf --enable-report |
1368 |
+} |
1369 |
+ |
1370 |
+src_compile() { |
1371 |
+ tc-export AR |
1372 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1373 |
+} |
1374 |
+ |
1375 |
+src_install() { |
1376 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1377 |
+} |
1378 |
|
1379 |
diff --git a/sci-mathematics/frama-c-rtegen/Manifest b/sci-mathematics/frama-c-rtegen/Manifest |
1380 |
index 94d4a0a85..27f9b08b7 100644 |
1381 |
--- a/sci-mathematics/frama-c-rtegen/Manifest |
1382 |
+++ b/sci-mathematics/frama-c-rtegen/Manifest |
1383 |
@@ -1 +1,2 @@ |
1384 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1385 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1386 |
|
1387 |
diff --git a/sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild b/sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild |
1388 |
new file mode 100644 |
1389 |
index 000000000..e59883c3e |
1390 |
--- /dev/null |
1391 |
+++ b/sci-mathematics/frama-c-rtegen/frama-c-rtegen-24.0.ebuild |
1392 |
@@ -0,0 +1,51 @@ |
1393 |
+# Copyright 1999-2021 Gentoo Authors |
1394 |
+# Distributed under the terms of the GNU General Public License v2 |
1395 |
+ |
1396 |
+EAPI=7 |
1397 |
+ |
1398 |
+inherit autotools findlib toolchain-funcs |
1399 |
+ |
1400 |
+DESCRIPTION="Runtime error annotation (RTE) generation plugin for frama-c" |
1401 |
+HOMEPAGE="https://frama-c.com" |
1402 |
+NAME="Chromium" |
1403 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1404 |
+ |
1405 |
+LICENSE="LGPL-2.1" |
1406 |
+SLOT="0" |
1407 |
+KEYWORDS="~amd64" |
1408 |
+IUSE="+ocamlopt" |
1409 |
+RESTRICT="strip" |
1410 |
+ |
1411 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" |
1412 |
+DEPEND="${RDEPEND}" |
1413 |
+ |
1414 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
1415 |
+ |
1416 |
+src_prepare() { |
1417 |
+ mv configure.in configure.ac || die |
1418 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
1419 |
+ touch config_file || die |
1420 |
+ eautoreconf |
1421 |
+ eapply_user |
1422 |
+} |
1423 |
+ |
1424 |
+src_configure() { |
1425 |
+ econf \ |
1426 |
+ --disable-landmarks \ |
1427 |
+ --with-no-plugin \ |
1428 |
+ --enable-rtegen |
1429 |
+ printf 'include share/Makefile.config\n' > src/plugins/rte/Makefile || die |
1430 |
+ sed -e '/^# *Runtime Error Annotation Generation analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/rte/Makefile || die |
1431 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/rte/Makefile || die |
1432 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1433 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1434 |
+} |
1435 |
+ |
1436 |
+src_compile() { |
1437 |
+ tc-export AR |
1438 |
+ emake -f src/plugins/rte/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1439 |
+} |
1440 |
+ |
1441 |
+src_install() { |
1442 |
+ emake -f src/plugins/rte/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1443 |
+} |
1444 |
|
1445 |
diff --git a/sci-mathematics/frama-c-scope/Manifest b/sci-mathematics/frama-c-scope/Manifest |
1446 |
index 94d4a0a85..27f9b08b7 100644 |
1447 |
--- a/sci-mathematics/frama-c-scope/Manifest |
1448 |
+++ b/sci-mathematics/frama-c-scope/Manifest |
1449 |
@@ -1 +1,2 @@ |
1450 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1451 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1452 |
|
1453 |
diff --git a/sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild b/sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild |
1454 |
new file mode 100644 |
1455 |
index 000000000..2f670f3be |
1456 |
--- /dev/null |
1457 |
+++ b/sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild |
1458 |
@@ -0,0 +1,61 @@ |
1459 |
+# Copyright 1999-2021 Gentoo Authors |
1460 |
+# Distributed under the terms of the GNU General Public License v2 |
1461 |
+ |
1462 |
+EAPI=7 |
1463 |
+ |
1464 |
+inherit autotools findlib toolchain-funcs |
1465 |
+ |
1466 |
+DESCRIPTION="Scope plugin for frama-c" |
1467 |
+HOMEPAGE="https://frama-c.com" |
1468 |
+NAME="Chromium" |
1469 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1470 |
+ |
1471 |
+LICENSE="LGPL-2.1" |
1472 |
+SLOT="0" |
1473 |
+KEYWORDS="~amd64" |
1474 |
+IUSE="gtk +ocamlopt" |
1475 |
+RESTRICT="strip" |
1476 |
+ |
1477 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?] |
1478 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?] |
1479 |
+ ~sci-mathematics/frama-c-inout-${PV}:=[ocamlopt?]" |
1480 |
+DEPEND="${RDEPEND}" |
1481 |
+ |
1482 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
1483 |
+ |
1484 |
+src_prepare() { |
1485 |
+ mv configure.in configure.ac || die |
1486 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
1487 |
+ touch config_file || die |
1488 |
+ eautoreconf |
1489 |
+ eapply_user |
1490 |
+} |
1491 |
+ |
1492 |
+src_configure() { |
1493 |
+ econf \ |
1494 |
+ --disable-landmarks \ |
1495 |
+ --with-no-plugin \ |
1496 |
+ $(use_enable gtk gui) \ |
1497 |
+ --enable-scope \ |
1498 |
+ --enable-from-analysis \ |
1499 |
+ --enable-callgraph \ |
1500 |
+ --enable-eva \ |
1501 |
+ --enable-server \ |
1502 |
+ --enable-postdominators \ |
1503 |
+ --enable-inout \ |
1504 |
+ --enable-pdg |
1505 |
+ printf 'include share/Makefile.config\n' > src/plugins/scope/Makefile || die |
1506 |
+ sed -e '/^# *Scope :/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/scope/Makefile || die |
1507 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/scope/Makefile || die |
1508 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1509 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1510 |
+} |
1511 |
+ |
1512 |
+src_compile() { |
1513 |
+ tc-export AR |
1514 |
+ emake -f src/plugins/scope/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1515 |
+} |
1516 |
+ |
1517 |
+src_install() { |
1518 |
+ emake -f src/plugins/scope/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1519 |
+} |
1520 |
|
1521 |
diff --git a/sci-mathematics/frama-c-security-slicing/Manifest b/sci-mathematics/frama-c-security-slicing/Manifest |
1522 |
index 94d4a0a85..27f9b08b7 100644 |
1523 |
--- a/sci-mathematics/frama-c-security-slicing/Manifest |
1524 |
+++ b/sci-mathematics/frama-c-security-slicing/Manifest |
1525 |
@@ -1 +1,2 @@ |
1526 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1527 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1528 |
|
1529 |
diff --git a/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild b/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild |
1530 |
new file mode 100644 |
1531 |
index 000000000..1c1a58aee |
1532 |
--- /dev/null |
1533 |
+++ b/sci-mathematics/frama-c-security-slicing/frama-c-security-slicing-24.0.ebuild |
1534 |
@@ -0,0 +1,45 @@ |
1535 |
+# Copyright 1999-2021 Gentoo Authors |
1536 |
+# Distributed under the terms of the GNU General Public License v2 |
1537 |
+ |
1538 |
+EAPI=7 |
1539 |
+ |
1540 |
+inherit autotools findlib toolchain-funcs |
1541 |
+ |
1542 |
+DESCRIPTION="Security slicing plugin for frama-c" |
1543 |
+HOMEPAGE="https://frama-c.com" |
1544 |
+NAME="Chromium" |
1545 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1546 |
+ |
1547 |
+LICENSE="LGPL-2.1" |
1548 |
+SLOT="0" |
1549 |
+KEYWORDS="~amd64" |
1550 |
+IUSE="+ocamlopt" |
1551 |
+RESTRICT="strip" |
1552 |
+ |
1553 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk,ocamlopt?] |
1554 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[gtk,ocamlopt?] |
1555 |
+ ~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?] |
1556 |
+ ~sci-mathematics/frama-c-slicing-${PV}:=[gtk,ocamlopt?]" |
1557 |
+DEPEND="${RDEPEND}" |
1558 |
+ |
1559 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/security_slicing" |
1560 |
+ |
1561 |
+src_prepare() { |
1562 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1563 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1564 |
+ eautoconf |
1565 |
+ eapply_user |
1566 |
+} |
1567 |
+ |
1568 |
+src_configure() { |
1569 |
+ econf --enable-security-slicing |
1570 |
+} |
1571 |
+ |
1572 |
+src_compile() { |
1573 |
+ tc-export AR |
1574 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1575 |
+} |
1576 |
+ |
1577 |
+src_install() { |
1578 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1579 |
+} |
1580 |
|
1581 |
diff --git a/sci-mathematics/frama-c-server/Manifest b/sci-mathematics/frama-c-server/Manifest |
1582 |
index 94d4a0a85..27f9b08b7 100644 |
1583 |
--- a/sci-mathematics/frama-c-server/Manifest |
1584 |
+++ b/sci-mathematics/frama-c-server/Manifest |
1585 |
@@ -1 +1,2 @@ |
1586 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1587 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1588 |
|
1589 |
diff --git a/sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild b/sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild |
1590 |
new file mode 100644 |
1591 |
index 000000000..58f653cd4 |
1592 |
--- /dev/null |
1593 |
+++ b/sci-mathematics/frama-c-server/frama-c-server-24.0.ebuild |
1594 |
@@ -0,0 +1,43 @@ |
1595 |
+# Copyright 1999-2021 Gentoo Authors |
1596 |
+# Distributed under the terms of the GNU General Public License v2 |
1597 |
+ |
1598 |
+EAPI=7 |
1599 |
+ |
1600 |
+inherit autotools findlib toolchain-funcs |
1601 |
+ |
1602 |
+DESCRIPTION="Server plugin for frama-c" |
1603 |
+HOMEPAGE="https://frama-c.com" |
1604 |
+NAME="Chromium" |
1605 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1606 |
+ |
1607 |
+LICENSE="LGPL-2.1" |
1608 |
+SLOT="0" |
1609 |
+KEYWORDS="~amd64" |
1610 |
+IUSE="+ocamlopt" |
1611 |
+RESTRICT="strip" |
1612 |
+ |
1613 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" |
1614 |
+DEPEND="${RDEPEND}" |
1615 |
+ |
1616 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/server" |
1617 |
+ |
1618 |
+src_prepare() { |
1619 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1620 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1621 |
+ eautoconf |
1622 |
+ eapply_user |
1623 |
+} |
1624 |
+ |
1625 |
+src_configure() { |
1626 |
+ econf --enable-server \ |
1627 |
+ --disable-server-zmq # missing dev-ml/zmq |
1628 |
+} |
1629 |
+ |
1630 |
+src_compile() { |
1631 |
+ tc-export AR |
1632 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1633 |
+} |
1634 |
+ |
1635 |
+src_install() { |
1636 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1637 |
+} |
1638 |
|
1639 |
diff --git a/sci-mathematics/frama-c-slicing/Manifest b/sci-mathematics/frama-c-slicing/Manifest |
1640 |
index 94d4a0a85..27f9b08b7 100644 |
1641 |
--- a/sci-mathematics/frama-c-slicing/Manifest |
1642 |
+++ b/sci-mathematics/frama-c-slicing/Manifest |
1643 |
@@ -1 +1,2 @@ |
1644 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1645 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1646 |
|
1647 |
diff --git a/sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild b/sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild |
1648 |
new file mode 100644 |
1649 |
index 000000000..0dcd83814 |
1650 |
--- /dev/null |
1651 |
+++ b/sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild |
1652 |
@@ -0,0 +1,64 @@ |
1653 |
+# Copyright 1999-2021 Gentoo Authors |
1654 |
+# Distributed under the terms of the GNU General Public License v2 |
1655 |
+ |
1656 |
+EAPI=7 |
1657 |
+ |
1658 |
+inherit autotools findlib toolchain-funcs |
1659 |
+ |
1660 |
+DESCRIPTION="Slicing plugin for frama-c" |
1661 |
+HOMEPAGE="https://frama-c.com" |
1662 |
+NAME="Chromium" |
1663 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1664 |
+ |
1665 |
+LICENSE="LGPL-2.1" |
1666 |
+SLOT="0" |
1667 |
+KEYWORDS="~amd64" |
1668 |
+IUSE="gtk +ocamlopt" |
1669 |
+RESTRICT="strip" |
1670 |
+ |
1671 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?] |
1672 |
+ ~sci-mathematics/frama-c-callgraph-${PV}:=[gtk?,ocamlopt?] |
1673 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?] |
1674 |
+ ~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?] |
1675 |
+ ~sci-mathematics/frama-c-sparecode-${PV}:=[ocamlopt?]" |
1676 |
+DEPEND="${RDEPEND}" |
1677 |
+ |
1678 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
1679 |
+ |
1680 |
+src_prepare() { |
1681 |
+ mv configure.in configure.ac || die |
1682 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
1683 |
+ touch config_file || die |
1684 |
+ eautoreconf |
1685 |
+ eapply_user |
1686 |
+} |
1687 |
+ |
1688 |
+src_configure() { |
1689 |
+ econf \ |
1690 |
+ --disable-landmarks \ |
1691 |
+ --with-no-plugin \ |
1692 |
+ $(use_enable gtk gui) \ |
1693 |
+ --enable-slicing \ |
1694 |
+ --enable-from-analysis \ |
1695 |
+ --enable-callgraph \ |
1696 |
+ --enable-eva \ |
1697 |
+ --enable-server \ |
1698 |
+ --enable-postdominators \ |
1699 |
+ --enable-pdg \ |
1700 |
+ --enable-sparecode \ |
1701 |
+ --enable-users |
1702 |
+ printf 'include share/Makefile.config\n' > src/plugins/slicing/Makefile || die |
1703 |
+ sed -e '/^# *Slicing/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/slicing/Makefile || die |
1704 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/slicing/Makefile || die |
1705 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1706 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1707 |
+} |
1708 |
+ |
1709 |
+src_compile() { |
1710 |
+ tc-export AR |
1711 |
+ emake -f src/plugins/slicing/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1712 |
+} |
1713 |
+ |
1714 |
+src_install() { |
1715 |
+ emake -f src/plugins/slicing/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1716 |
+} |
1717 |
|
1718 |
diff --git a/sci-mathematics/frama-c-sparecode/Manifest b/sci-mathematics/frama-c-sparecode/Manifest |
1719 |
index 94d4a0a85..27f9b08b7 100644 |
1720 |
--- a/sci-mathematics/frama-c-sparecode/Manifest |
1721 |
+++ b/sci-mathematics/frama-c-sparecode/Manifest |
1722 |
@@ -1 +1,2 @@ |
1723 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1724 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1725 |
|
1726 |
diff --git a/sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild b/sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild |
1727 |
new file mode 100644 |
1728 |
index 000000000..ddd530a0a |
1729 |
--- /dev/null |
1730 |
+++ b/sci-mathematics/frama-c-sparecode/frama-c-sparecode-24.0.ebuild |
1731 |
@@ -0,0 +1,61 @@ |
1732 |
+# Copyright 1999-2021 Gentoo Authors |
1733 |
+# Distributed under the terms of the GNU General Public License v2 |
1734 |
+ |
1735 |
+EAPI=7 |
1736 |
+ |
1737 |
+inherit autotools findlib toolchain-funcs |
1738 |
+ |
1739 |
+DESCRIPTION="Spare code plugin for frama-c" |
1740 |
+HOMEPAGE="https://frama-c.com" |
1741 |
+NAME="Chromium" |
1742 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1743 |
+ |
1744 |
+LICENSE="LGPL-2.1" |
1745 |
+SLOT="0" |
1746 |
+KEYWORDS="~amd64" |
1747 |
+IUSE="+ocamlopt" |
1748 |
+RESTRICT="strip" |
1749 |
+ |
1750 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] |
1751 |
+ ~sci-mathematics/frama-c-pdg-${PV}:=[ocamlopt?] |
1752 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?] |
1753 |
+ ~sci-mathematics/frama-c-users-${PV}:=[ocamlopt?]" |
1754 |
+DEPEND="${RDEPEND}" |
1755 |
+ |
1756 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
1757 |
+ |
1758 |
+src_prepare() { |
1759 |
+ mv configure.in configure.ac || die |
1760 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
1761 |
+ touch config_file || die |
1762 |
+ eautoreconf |
1763 |
+ eapply_user |
1764 |
+} |
1765 |
+ |
1766 |
+src_configure() { |
1767 |
+ econf \ |
1768 |
+ --disable-landmarks \ |
1769 |
+ --with-no-plugin \ |
1770 |
+ --disable-gui \ |
1771 |
+ --enable-sparecode \ |
1772 |
+ --enable-users \ |
1773 |
+ --enable-callgraph \ |
1774 |
+ --enable-eva \ |
1775 |
+ --enable-server \ |
1776 |
+ --enable-pdg \ |
1777 |
+ --enable-from-analysis |
1778 |
+ printf 'include share/Makefile.config\n' > src/plugins/sparecode/Makefile || die |
1779 |
+ sed -e '/^# *Sparecode :/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/sparecode/Makefile || die |
1780 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/sparecode/Makefile || die |
1781 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1782 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1783 |
+} |
1784 |
+ |
1785 |
+src_compile() { |
1786 |
+ tc-export AR |
1787 |
+ emake -f src/plugins/sparecode/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1788 |
+} |
1789 |
+ |
1790 |
+src_install() { |
1791 |
+ emake -f src/plugins/sparecode/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1792 |
+} |
1793 |
|
1794 |
diff --git a/sci-mathematics/frama-c-studia/Manifest b/sci-mathematics/frama-c-studia/Manifest |
1795 |
index 94d4a0a85..27f9b08b7 100644 |
1796 |
--- a/sci-mathematics/frama-c-studia/Manifest |
1797 |
+++ b/sci-mathematics/frama-c-studia/Manifest |
1798 |
@@ -1 +1,2 @@ |
1799 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1800 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1801 |
|
1802 |
diff --git a/sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild b/sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild |
1803 |
new file mode 100644 |
1804 |
index 000000000..b92f58aac |
1805 |
--- /dev/null |
1806 |
+++ b/sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild |
1807 |
@@ -0,0 +1,45 @@ |
1808 |
+# Copyright 1999-2021 Gentoo Authors |
1809 |
+# Distributed under the terms of the GNU General Public License v2 |
1810 |
+ |
1811 |
+EAPI=7 |
1812 |
+ |
1813 |
+inherit autotools findlib toolchain-funcs |
1814 |
+ |
1815 |
+DESCRIPTION="Studia plugin for frama-c" |
1816 |
+HOMEPAGE="https://frama-c.com" |
1817 |
+NAME="Chromium" |
1818 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1819 |
+ |
1820 |
+LICENSE="LGPL-2.1" |
1821 |
+SLOT="0" |
1822 |
+KEYWORDS="~amd64" |
1823 |
+IUSE="gtk +ocamlopt" |
1824 |
+RESTRICT="strip" |
1825 |
+ |
1826 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?] |
1827 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[gtk?,ocamlopt?]" |
1828 |
+DEPEND="${RDEPEND}" |
1829 |
+ |
1830 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/studia" |
1831 |
+ |
1832 |
+src_prepare() { |
1833 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1834 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1835 |
+ export ENABLE_GUI="$(usex gtk yes no)" |
1836 |
+ eautoconf |
1837 |
+ eapply_user |
1838 |
+} |
1839 |
+ |
1840 |
+src_configure() { |
1841 |
+ export ENABLE_EVA=yes |
1842 |
+ econf --enable-studia |
1843 |
+} |
1844 |
+ |
1845 |
+src_compile() { |
1846 |
+ tc-export AR |
1847 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" |
1848 |
+} |
1849 |
+ |
1850 |
+src_install() { |
1851 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" DESTDIR="${ED}" install |
1852 |
+} |
1853 |
|
1854 |
diff --git a/sci-mathematics/frama-c-users/Manifest b/sci-mathematics/frama-c-users/Manifest |
1855 |
index 94d4a0a85..27f9b08b7 100644 |
1856 |
--- a/sci-mathematics/frama-c-users/Manifest |
1857 |
+++ b/sci-mathematics/frama-c-users/Manifest |
1858 |
@@ -1 +1,2 @@ |
1859 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1860 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1861 |
|
1862 |
diff --git a/sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild b/sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild |
1863 |
new file mode 100644 |
1864 |
index 000000000..6ed4b17eb |
1865 |
--- /dev/null |
1866 |
+++ b/sci-mathematics/frama-c-users/frama-c-users-24.0.ebuild |
1867 |
@@ -0,0 +1,57 @@ |
1868 |
+# Copyright 1999-2021 Gentoo Authors |
1869 |
+# Distributed under the terms of the GNU General Public License v2 |
1870 |
+ |
1871 |
+EAPI=7 |
1872 |
+ |
1873 |
+inherit autotools findlib toolchain-funcs |
1874 |
+ |
1875 |
+DESCRIPTION="Users plugin for frama-c" |
1876 |
+HOMEPAGE="https://frama-c.com" |
1877 |
+NAME="Chromium" |
1878 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1879 |
+ |
1880 |
+LICENSE="LGPL-2.1" |
1881 |
+SLOT="0" |
1882 |
+KEYWORDS="~amd64" |
1883 |
+IUSE="+ocamlopt" |
1884 |
+RESTRICT="strip" |
1885 |
+ |
1886 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] |
1887 |
+ ~sci-mathematics/frama-c-callgraph-${PV}:=[ocamlopt?] |
1888 |
+ ~sci-mathematics/frama-c-eva-${PV}:=[ocamlopt?]" |
1889 |
+DEPEND="${RDEPEND}" |
1890 |
+ |
1891 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}" |
1892 |
+ |
1893 |
+src_prepare() { |
1894 |
+ mv configure.in configure.ac || die |
1895 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
1896 |
+ touch config_file || die |
1897 |
+ eautoreconf |
1898 |
+ eapply_user |
1899 |
+} |
1900 |
+ |
1901 |
+src_configure() { |
1902 |
+ econf \ |
1903 |
+ --disable-landmarks \ |
1904 |
+ --with-no-plugin \ |
1905 |
+ --disable-gui \ |
1906 |
+ --enable-users \ |
1907 |
+ --enable-callgraph \ |
1908 |
+ --enable-eva \ |
1909 |
+ --enable-server |
1910 |
+ printf 'include share/Makefile.config\n' > src/plugins/users/Makefile || die |
1911 |
+ sed -e '/^# *Users analysis/bl;d' -e ':l' -e '/^\$(eval/Q;n;bl' < Makefile >> src/plugins/users/Makefile || die |
1912 |
+ printf 'include share/Makefile.dynamic\n' >> src/plugins/users/Makefile || die |
1913 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1914 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1915 |
+} |
1916 |
+ |
1917 |
+src_compile() { |
1918 |
+ tc-export AR |
1919 |
+ emake -f src/plugins/users/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1920 |
+} |
1921 |
+ |
1922 |
+src_install() { |
1923 |
+ emake -f src/plugins/users/Makefile FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1924 |
+} |
1925 |
|
1926 |
diff --git a/sci-mathematics/frama-c-variadic/Manifest b/sci-mathematics/frama-c-variadic/Manifest |
1927 |
index 94d4a0a85..27f9b08b7 100644 |
1928 |
--- a/sci-mathematics/frama-c-variadic/Manifest |
1929 |
+++ b/sci-mathematics/frama-c-variadic/Manifest |
1930 |
@@ -1 +1,2 @@ |
1931 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1932 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1933 |
|
1934 |
diff --git a/sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild b/sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild |
1935 |
new file mode 100644 |
1936 |
index 000000000..3c42697bf |
1937 |
--- /dev/null |
1938 |
+++ b/sci-mathematics/frama-c-variadic/frama-c-variadic-24.0.ebuild |
1939 |
@@ -0,0 +1,42 @@ |
1940 |
+# Copyright 1999-2021 Gentoo Authors |
1941 |
+# Distributed under the terms of the GNU General Public License v2 |
1942 |
+ |
1943 |
+EAPI=7 |
1944 |
+ |
1945 |
+inherit autotools findlib toolchain-funcs |
1946 |
+ |
1947 |
+DESCRIPTION="Variadic function transformation plugin for frama-c" |
1948 |
+HOMEPAGE="https://frama-c.com" |
1949 |
+NAME="Chromium" |
1950 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
1951 |
+ |
1952 |
+LICENSE="LGPL-2.1" |
1953 |
+SLOT="0" |
1954 |
+KEYWORDS="~amd64" |
1955 |
+IUSE="+ocamlopt" |
1956 |
+RESTRICT="strip" |
1957 |
+ |
1958 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" |
1959 |
+DEPEND="${RDEPEND}" |
1960 |
+ |
1961 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/variadic" |
1962 |
+ |
1963 |
+src_prepare() { |
1964 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
1965 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
1966 |
+ eautoconf |
1967 |
+ eapply_user |
1968 |
+} |
1969 |
+ |
1970 |
+src_configure() { |
1971 |
+ econf --enable-variadic |
1972 |
+} |
1973 |
+ |
1974 |
+src_compile() { |
1975 |
+ tc-export AR |
1976 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" |
1977 |
+} |
1978 |
+ |
1979 |
+src_install() { |
1980 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" install |
1981 |
+} |
1982 |
|
1983 |
diff --git a/sci-mathematics/frama-c-wp/Manifest b/sci-mathematics/frama-c-wp/Manifest |
1984 |
index 94d4a0a85..27f9b08b7 100644 |
1985 |
--- a/sci-mathematics/frama-c-wp/Manifest |
1986 |
+++ b/sci-mathematics/frama-c-wp/Manifest |
1987 |
@@ -1 +1,2 @@ |
1988 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
1989 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
1990 |
|
1991 |
diff --git a/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild b/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild |
1992 |
new file mode 100644 |
1993 |
index 000000000..56a641868 |
1994 |
--- /dev/null |
1995 |
+++ b/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild |
1996 |
@@ -0,0 +1,51 @@ |
1997 |
+# Copyright 1999-2021 Gentoo Authors |
1998 |
+# Distributed under the terms of the GNU General Public License v2 |
1999 |
+ |
2000 |
+EAPI=7 |
2001 |
+ |
2002 |
+inherit autotools findlib toolchain-funcs |
2003 |
+ |
2004 |
+DESCRIPTION="Deductive proof of ACSL contracts (WP) plugin for frama-c" |
2005 |
+HOMEPAGE="https://frama-c.com" |
2006 |
+NAME="Chromium" |
2007 |
+SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" |
2008 |
+ |
2009 |
+LICENSE="LGPL-2.1" |
2010 |
+SLOT="0" |
2011 |
+KEYWORDS="~amd64" |
2012 |
+IUSE="coq gtk +ocamlopt" |
2013 |
+RESTRICT="strip" |
2014 |
+ |
2015 |
+RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?] |
2016 |
+ ~sci-mathematics/frama-c-qed-${PV}:=[gtk?,ocamlopt?] |
2017 |
+ ~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?] |
2018 |
+ >=sci-mathematics/why3-1.4.0" |
2019 |
+DEPEND="${RDEPEND}" |
2020 |
+BDEPEND="coq? ( >=sci-mathematics/coq-8.12.0 |
2021 |
+ <sci-mathematics/coq-8.14.0 )" |
2022 |
+ |
2023 |
+S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/wp" |
2024 |
+ |
2025 |
+src_prepare() { |
2026 |
+ export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" |
2027 |
+ export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |
2028 |
+ export ENABLE_GUI="$(usex gtk yes no)" |
2029 |
+ eautoconf |
2030 |
+ eapply_user |
2031 |
+} |
2032 |
+ |
2033 |
+src_configure() { |
2034 |
+ export ENABLE_QED=yes |
2035 |
+ export ENABLE_RTEGEN=yes |
2036 |
+ econf --enable-wp \ |
2037 |
+ $(use_enable coq wp-coq) |
2038 |
+} |
2039 |
+ |
2040 |
+src_compile() { |
2041 |
+ tc-export AR |
2042 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" |
2043 |
+} |
2044 |
+ |
2045 |
+src_install() { |
2046 |
+ emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" ENABLE_GUI="${ENABLE_GUI}" DESTDIR="${ED}" install |
2047 |
+} |
2048 |
|
2049 |
diff --git a/sci-mathematics/frama-c/Manifest b/sci-mathematics/frama-c/Manifest |
2050 |
index 94d4a0a85..27f9b08b7 100644 |
2051 |
--- a/sci-mathematics/frama-c/Manifest |
2052 |
+++ b/sci-mathematics/frama-c/Manifest |
2053 |
@@ -1 +1,2 @@ |
2054 |
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e |
2055 |
+DIST frama-c-24.0-Chromium.tar.gz 7495244 BLAKE2B 249739b55f7d25c75175d31e1703bd3dc160399bc2f10157b09528ec82c7487455b4aef3d248da94e89b7a027c073ad4d8674361899159084e7d84dfa00664a4 SHA512 3ab3070104c7e521c7e94492f85522e6dee4433b1ebed6f5c0d63f4329f8eb66a8f91d467cbd877da138936dfdde1b5b9abcb6bcf01ba0a551fc83c748fac235 |
2056 |
|
2057 |
diff --git a/sci-mathematics/frama-c/frama-c-24.0.ebuild b/sci-mathematics/frama-c/frama-c-24.0.ebuild |
2058 |
new file mode 100644 |
2059 |
index 000000000..5234acac6 |
2060 |
--- /dev/null |
2061 |
+++ b/sci-mathematics/frama-c/frama-c-24.0.ebuild |
2062 |
@@ -0,0 +1,60 @@ |
2063 |
+# Copyright 1999-2021 Gentoo Authors |
2064 |
+# Distributed under the terms of the GNU General Public License v2 |
2065 |
+ |
2066 |
+EAPI=7 |
2067 |
+ |
2068 |
+inherit autotools toolchain-funcs |
2069 |
+ |
2070 |
+DESCRIPTION="Framework for analysis of source codes written in C" |
2071 |
+HOMEPAGE="https://frama-c.com" |
2072 |
+NAME="Chromium" |
2073 |
+SRC_URI="https://frama-c.com/download/${P}-${NAME}.tar.gz" |
2074 |
+ |
2075 |
+LICENSE="BSD LGPL-2 LGPL-2.1" |
2076 |
+SLOT="0" |
2077 |
+KEYWORDS="~amd64" |
2078 |
+IUSE="gtk +ocamlopt" |
2079 |
+RESTRICT="strip" |
2080 |
+ |
2081 |
+RDEPEND=" |
2082 |
+ >=dev-lang/ocaml-4.08.1[ocamlopt?] |
2083 |
+ >=dev-ml/ocamlgraph-1.8.8[gtk(-)?,ocamlopt?] |
2084 |
+ >=dev-ml/zarith-1.5[ocamlopt?] |
2085 |
+ >=dev-ml/yojson-1.4.1[ocamlopt?] |
2086 |
+ gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )" |
2087 |
+DEPEND="${RDEPEND} |
2088 |
+ media-gfx/graphviz" |
2089 |
+ |
2090 |
+S="${WORKDIR}/${P}-${NAME}" |
2091 |
+ |
2092 |
+src_prepare() { |
2093 |
+ mv configure.in configure.ac || die |
2094 |
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die |
2095 |
+ touch config_file || die |
2096 |
+ eautoreconf |
2097 |
+ eapply_user |
2098 |
+} |
2099 |
+ |
2100 |
+src_configure() { |
2101 |
+ econf \ |
2102 |
+ --disable-landmarks \ |
2103 |
+ --with-no-plugin \ |
2104 |
+ $(use_enable gtk gui) |
2105 |
+} |
2106 |
+ |
2107 |
+src_compile() { |
2108 |
+ tc-export AR |
2109 |
+ # workaround for https://git.frama-c.com/pub/frama-c/-/issues/2593 |
2110 |
+ emake VERBOSEMAKE=yes src/kernel_services/abstract_interp/abstract_memory.cmi |
2111 |
+ emake VERBOSEMAKE=yes |
2112 |
+} |
2113 |
+ |
2114 |
+pkg_postinst() { |
2115 |
+ elog "Starting with version 23.1, ${CATEGORY}/${PN} only installs" |
2116 |
+ elog "the kernel, but no plugins. These are provided are separate" |
2117 |
+ elog "packages that must be explicitely installed." |
2118 |
+ elog "In particular, one may want to install:" |
2119 |
+ elog "- ${CATEGORY}/${PN}-eva for value analysis" |
2120 |
+ elog "- ${CATEGORY}/${PN}-wp for proving ACSL contracts" |
2121 |
+ elog "- ${CATEGORY}/${PN}-e-acsl for runtime verification of ACSL contracts" |
2122 |
+} |