diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-06-22 11:40:06 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-06-22 11:40:06 +0100 |
commit | 7a86906b67693cc65671d3e1476835d3a7e13092 (patch) | |
tree | 9de1b9e2cf77833183d4e5ffab2e94d0403ef725 /dev-ada | |
parent | d56d144655e3785864da43c9acb6c228ef9360ae (diff) |
gentoo resync : 22.06.2019
Diffstat (limited to 'dev-ada')
-rw-r--r-- | dev-ada/aunit/aunit-2019.ebuild | 49 | ||||
-rw-r--r-- | dev-ada/gnatmem/gnatmem-2019.ebuild | 43 | ||||
-rw-r--r-- | dev-ada/gnatsymbolize/gnatsymbolize-2019.ebuild | 38 | ||||
-rw-r--r-- | dev-ada/libadalang-tools/libadalang-tools-2019.ebuild | 37 |
4 files changed, 167 insertions, 0 deletions
diff --git a/dev-ada/aunit/aunit-2019.ebuild b/dev-ada/aunit/aunit-2019.ebuild new file mode 100644 index 000000000000..8f4d3ecf8be3 --- /dev/null +++ b/dev-ada/aunit/aunit-2019.ebuild @@ -0,0 +1,49 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit multiprocessing + +MYP=${P}-20190429-18B77-src + +DESCRIPTION="Ada unit testing framework" +HOMEPAGE="http://libre.adacore.com/tools/aunit/" +SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf859431e87aa2cdf16b18 + -> ${MYP}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 gnat_2017 gnat_2018 +gnat_2019" + +RDEPEND="gnat_2016? ( dev-lang/gnat-gpl:4.9.4 ) + gnat_2017? ( dev-lang/gnat-gpl:6.3.0 ) + gnat_2018? ( dev-lang/gnat-gpl:7.3.1 ) + gnat_2019? ( dev-lang/gnat-gpl:8.3.1 )" +DEPEND="${RDEPEND} + dev-ada/gprbuild[gnat_2016(-)?,gnat_2017(-)?,gnat_2018(-)?,gnat_2019(-)?]" + +REQUIRED_USE="^^ ( gnat_2016 gnat_2017 gnat_2018 gnat_2019 )" + +S="${WORKDIR}"/${MYP} + +PATCHES=( "${FILESDIR}"/${PN}-2016-gentoo.patch ) + +src_compile() { + emake GPRBUILD="gprbuild -j$(makeopts_jobs) -v" +} + +src_install() { + emake INSTALL="${D}"usr install + einstalldocs + mv "${D}"usr/share/doc/${PN}/* "${D}"usr/share/doc/${PF}/ || die + rmdir "${D}"usr/share/doc/${PN} || die + mv "${D}"usr/share/examples/${PN} "${D}"usr/share/doc/${PF}/examples || die + rmdir "${D}"usr/share/examples || die + rm -r "${D}"/usr/share/gpr/manifests || die +} + +src_test() { + emake PROJECT_PATH_ARG="ADA_PROJECT_PATH=$(pwd)/lib/gnat" -C test +} diff --git a/dev-ada/gnatmem/gnatmem-2019.ebuild b/dev-ada/gnatmem/gnatmem-2019.ebuild new file mode 100644 index 000000000000..dbe496b25696 --- /dev/null +++ b/dev-ada/gnatmem/gnatmem-2019.ebuild @@ -0,0 +1,43 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit multiprocessing autotools + +MYP=${P}-20190429-19745-src + +DESCRIPTION="Monitors dynamic allocation and deallocation activity in a program" +HOMEPAGE="http://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf8e1431e87a8f1d425089 + -> ${MYP}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 gnat_2017 gnat_2018 +gnat_2019" + +RDEPEND="" +DEPEND="dev-ada/gprbuild[gnat_2016(-)?,gnat_2017(-)?,gnat_2018(-)?,gnat_2019(-)?] + sys-libs/binutils-libs" + +REQUIRED_USE="^^ ( gnat_2016 gnat_2017 gnat_2018 gnat_2019 )" + +S="${WORKDIR}"/${MYP} + +PATCHES=( "${FILESDIR}"/${PN}-2018-gentoo.patch ) + +src_prepare() { + default + mv configure.in configure.ac + eautoreconf +} + +src_compile() { + gprbuild -v -Pgnatmem.gpr -j$(makeopts_jobs) \ + -cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} +} + +src_install() { + dobin obj/gnatmem +} diff --git a/dev-ada/gnatsymbolize/gnatsymbolize-2019.ebuild b/dev-ada/gnatsymbolize/gnatsymbolize-2019.ebuild new file mode 100644 index 000000000000..b295bd6063e9 --- /dev/null +++ b/dev-ada/gnatsymbolize/gnatsymbolize-2019.ebuild @@ -0,0 +1,38 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit multiprocessing autotools + +MYP=${P}-20190429-19761-src + +DESCRIPTION="Translates addresses into filename, line number, and function names" +HOMEPAGE="http://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/5cc7d5e431e87a23952f18c4 -> + ${MYP}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2018 +gnat_2019" + +RDEPEND="" +DEPEND="gnat_2018? ( dev-lang/gnat-gpl:7.3.1 ) + gnat_2019? ( dev-lang/gnat-gpl:8.3.1 )" +REQUIRED_USE=" ^^ ( gnat_2018 gnat_2019 )" + +S="${WORKDIR}"/${MYP} + +src_compile() { + if use gnat_2018; then + GCC_PV=7.3.1 + else + GCC_PV=8.3.1 + fi + gnatmake-${GCC_PV} -v gnatsymbolize -cargs ${ADAFLAGS} || die +} + +src_install() { + dobin gnatsymbolize +} diff --git a/dev-ada/libadalang-tools/libadalang-tools-2019.ebuild b/dev-ada/libadalang-tools/libadalang-tools-2019.ebuild new file mode 100644 index 000000000000..f73772562dc8 --- /dev/null +++ b/dev-ada/libadalang-tools/libadalang-tools-2019.ebuild @@ -0,0 +1,37 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit multiprocessing + +MYP=${P}-20190517-195C4 +DESCRIPTION="Libadalang-based tools: gnatpp, gnatmetric and gnatstub" +HOMEPAGE="https://www.adacore.com/community" +SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf8f4e31e87a8f1d42509f -> + ${MYP}-src.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 gnat_2017 gnat_2018 +gnat_2019" + +RDEPEND="" +DEPEND="${RDEPEND} + dev-ada/libadalang[gnat_2016(-)?,gnat_2017(-)?,gnat_2018(-)?,gnat_2019(-)?,static-libs] + dev-ada/gprbuild[gnat_2016(-)?,gnat_2017(-)?,gnat_2018(-)?,gnat_2019(-)?]" + +S="${WORKDIR}"/${MYP}-src + +src_compile() { + gprbuild -v -k -XLIBRARY_TYPE=static -XXMLADA_BUILD=static \ + -XGNATCOLL_GMP_BUILD=static \ + -P src/build.gpr -p -j$(makeopts_jobs) || die +} + +src_install() { + dobin bin/gnatpp + newbin bin/gnatmetric gnatmetric-tool + newbin bin/gnatstub gnatstub-tool + einstalldocs +} |