1 |
commit: 03b4a341de8137dbbd040ae26e4659b28e8798ed |
2 |
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> |
3 |
AuthorDate: Thu Nov 7 18:15:23 2019 +0000 |
4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
5 |
CommitDate: Thu Nov 7 18:15:23 2019 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=03b4a341 |
7 |
|
8 |
dev-lang/spark: use the ada eclass |
9 |
|
10 |
Package-Manager: Portage-2.3.76, Repoman-2.3.16 |
11 |
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> |
12 |
|
13 |
dev-lang/spark/spark-2018-r1.ebuild | 61 +++++++++++++++++++++++++++++++++++++ |
14 |
1 file changed, 61 insertions(+) |
15 |
|
16 |
diff --git a/dev-lang/spark/spark-2018-r1.ebuild b/dev-lang/spark/spark-2018-r1.ebuild |
17 |
new file mode 100644 |
18 |
index 00000000000..3bdf63d22f4 |
19 |
--- /dev/null |
20 |
+++ b/dev-lang/spark/spark-2018-r1.ebuild |
21 |
@@ -0,0 +1,61 @@ |
22 |
+# Copyright 1999-2019 Gentoo Authors |
23 |
+# Distributed under the terms of the GNU General Public License v2 |
24 |
+ |
25 |
+EAPI=7 |
26 |
+ |
27 |
+ADA_COMPAT=( gnat_2018 ) |
28 |
+inherit ada toolchain-funcs multiprocessing |
29 |
+ |
30 |
+MYP=${PN}-gpl-${PV} |
31 |
+ |
32 |
+DESCRIPTION="Software development for high-reliability applications." |
33 |
+HOMEPAGE="http://libre.adacore.com" |
34 |
+SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a47 |
35 |
+ -> ${MYP}-src.tar.gz |
36 |
+ http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27aa5 |
37 |
+ -> gnat-gpl-2018-src.tar.gz" |
38 |
+ |
39 |
+LICENSE="GPL-3" |
40 |
+SLOT="0" |
41 |
+KEYWORDS="~amd64" |
42 |
+IUSE="" |
43 |
+ |
44 |
+RDEPEND=" |
45 |
+ dev-ada/gnatcoll-core[${ADA_USEDEP},shared] |
46 |
+ sci-mathematics/alt-ergo |
47 |
+ sci-mathematics/why3-for-spark" |
48 |
+DEPEND="${RDEPEND} |
49 |
+ dev-ada/gprbuild[${ADA_USEDEP}]" |
50 |
+ |
51 |
+REQUIRED_USE="${ADA_REQUIRED_USE}" |
52 |
+ |
53 |
+S="${WORKDIR}"/${MYP}-src |
54 |
+ |
55 |
+PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch ) |
56 |
+ |
57 |
+src_prepare() { |
58 |
+ ln -sf "${WORKDIR}"/gnat-gpl-2018-src/src/ada gnat2why/gnat_src || die |
59 |
+ sed -i \ |
60 |
+ -e "s:gnatls:${GNATLS}:g" \ |
61 |
+ gnatprove/configuration.adb || die |
62 |
+ default |
63 |
+} |
64 |
+ |
65 |
+src_compile() { |
66 |
+ emake GPRARGS="-XLIBRARY_TYPE=relocatable" gnat2why |
67 |
+ emake PROD="-XLIBRARY_TYPE=relocatable" gnatprove |
68 |
+} |
69 |
+ |
70 |
+src_install() { |
71 |
+ emake INSTALLDIR="${D}"/usr install |
72 |
+ einstalldocs |
73 |
+ dosym ../../../lib64/why3/why3server /usr/libexec/spark/bin/why3server |
74 |
+ dobin install/bin/gnatprove |
75 |
+ mv install/share/doc/spark/* "${D}"/usr/share/doc/${PF} || die |
76 |
+ exeinto /usr/libexec/spark/bin |
77 |
+ doexe install/bin/gnat2why |
78 |
+ doexe install/bin/spark_memcached_wrapper |
79 |
+ doexe install/bin/spark_report |
80 |
+ doexe install/bin/spark_codepeer_wrapper |
81 |
+ mv "${D}"/usr/bin/target.atp "${D}"/usr/libexec/spark/bin || die |
82 |
+} |