diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2019-11-07 19:15:23 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2019-11-07 19:15:23 +0100 |
| commit | 03b4a341de8137dbbd040ae26e4659b28e8798ed (patch) | |
| tree | cbdcd35f3d28bc316d9c54e733322f3e17b2141d /dev-lang | |
| parent | dev-ada/gps: fix dosym (diff) | |
| download | gentoo-03b4a341de8137dbbd040ae26e4659b28e8798ed.tar.gz gentoo-03b4a341de8137dbbd040ae26e4659b28e8798ed.tar.bz2 gentoo-03b4a341de8137dbbd040ae26e4659b28e8798ed.zip | |
dev-lang/spark: use the ada eclass
Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/spark/spark-2018-r1.ebuild | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/dev-lang/spark/spark-2018-r1.ebuild b/dev-lang/spark/spark-2018-r1.ebuild new file mode 100644 index 000000000000..3bdf63d22f4b --- /dev/null +++ b/dev-lang/spark/spark-2018-r1.ebuild @@ -0,0 +1,61 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +ADA_COMPAT=( gnat_2018 ) +inherit ada toolchain-funcs multiprocessing + +MYP=${PN}-gpl-${PV} + +DESCRIPTION="Software development for high-reliability applications." +HOMEPAGE="http://libre.adacore.com" +SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a47 + -> ${MYP}-src.tar.gz + http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27aa5 + -> gnat-gpl-2018-src.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64" +IUSE="" + +RDEPEND=" + dev-ada/gnatcoll-core[${ADA_USEDEP},shared] + sci-mathematics/alt-ergo + sci-mathematics/why3-for-spark" +DEPEND="${RDEPEND} + dev-ada/gprbuild[${ADA_USEDEP}]" + +REQUIRED_USE="${ADA_REQUIRED_USE}" + +S="${WORKDIR}"/${MYP}-src + +PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch ) + +src_prepare() { + ln -sf "${WORKDIR}"/gnat-gpl-2018-src/src/ada gnat2why/gnat_src || die + sed -i \ + -e "s:gnatls:${GNATLS}:g" \ + gnatprove/configuration.adb || die + default +} + +src_compile() { + emake GPRARGS="-XLIBRARY_TYPE=relocatable" gnat2why + emake PROD="-XLIBRARY_TYPE=relocatable" gnatprove +} + +src_install() { + emake INSTALLDIR="${D}"/usr install + einstalldocs + dosym ../../../lib64/why3/why3server /usr/libexec/spark/bin/why3server + dobin install/bin/gnatprove + mv install/share/doc/spark/* "${D}"/usr/share/doc/${PF} || die + exeinto /usr/libexec/spark/bin + doexe install/bin/gnat2why + doexe install/bin/spark_memcached_wrapper + doexe install/bin/spark_report + doexe install/bin/spark_codepeer_wrapper + mv "${D}"/usr/bin/target.atp "${D}"/usr/libexec/spark/bin || die +} |