diff options
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/gnat_util/gnat_util-2017-r2.ebuild | 55 | ||||
| -rw-r--r-- | dev-ada/gnat_util/gnat_util-2018-r2.ebuild | 54 | ||||
| -rw-r--r-- | dev-ada/gnat_util/gnat_util-2019-r1.ebuild | 54 |
3 files changed, 163 insertions, 0 deletions
diff --git a/dev-ada/gnat_util/gnat_util-2017-r2.ebuild b/dev-ada/gnat_util/gnat_util-2017-r2.ebuild new file mode 100644 index 000000000000..21237961a5b5 --- /dev/null +++ b/dev-ada/gnat_util/gnat_util-2017-r2.ebuild @@ -0,0 +1,55 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +ADA_COMPAT=( gnat_201{6,7} ) +inherit ada toolchain-funcs multiprocessing + +MYP=${PN}-gpl-${PV} + +DESCRIPTION="Provides access to GNAT compiler internals for AdaCore utilities" +HOMEPAGE="http://libre.adacore.com" +SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed037 + -> ${MYP}-src.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+shared static-libs static-pic" + +RDEPEND="${ADA_DEPS}" +DEPEND="${RDEPEND} + dev-ada/gprbuild[${ADA_USEDEP}]" + +REQUIRED_USE="${ADA_REQUIRED_USE}" + +S="${WORKDIR}"/${MYP}-src + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_compile() { + emake GNATMAKE="${GNATMAKE} ${ADAFLAGS}" \ + BUILDER="gprbuild -j$(makeopts_jobs)" generate_sources + if use static-libs; then + emake BUILDER="gprbuild -v -j$(makeopts_jobs)" build-static + fi + for kind in shared static-pic; do + if use ${kind}; then + emake BUILDER="gprbuild -v -j$(makeopts_jobs)" \ + build-${kind} + fi + done +} + +src_install() { + if use static-libs; then + emake prefix="${D}"/usr install-static + fi + for kind in shared static-pic; do + if use ${kind}; then + emake prefix="${D}"/usr install-${kind} + fi + done + einstalldocs +} diff --git a/dev-ada/gnat_util/gnat_util-2018-r2.ebuild b/dev-ada/gnat_util/gnat_util-2018-r2.ebuild new file mode 100644 index 000000000000..227d6a882a67 --- /dev/null +++ b/dev-ada/gnat_util/gnat_util-2018-r2.ebuild @@ -0,0 +1,54 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +ADA_COMPAT=( gnat_201{8,9} ) +inherit ada toolchain-funcs multiprocessing + +MYP=${PN}-gpl-${PV} + +DESCRIPTION="Provides access to GNAT compiler internals for AdaCore utilities" +HOMEPAGE="http://libre.adacore.com" +SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a6b + -> ${MYP}-src.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+shared static-libs static-pic" + +RDEPEND="${ADA_DEPS}" +DEPEND="${RDEPEND} + dev-ada/gprbuild[${ADA_USEDEP}]" +REQUIRED_USE="${ADA_REQUIRED_USE}" + +S="${WORKDIR}"/${MYP}-src + +PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch ) + +src_compile() { + emake GNATMAKE="${GNATMAKE} ${ADAFLAGS}" \ + BUILDER="gprbuild -j$(makeopts_jobs)" generate_sources + if use static-libs; then + emake BUILDER="gprbuild -v -j$(makeopts_jobs)" build-static + fi + for kind in shared static-pic; do + if use ${kind}; then + emake BUILDER="gprbuild -v -j$(makeopts_jobs)" \ + build-${kind} + fi + done +} + +src_install() { + if use static-libs; then + emake prefix="${D}"/usr install-static + fi + for kind in shared static-pic; do + if use ${kind}; then + emake prefix="${D}"/usr install-${kind} + fi + done + einstalldocs +} diff --git a/dev-ada/gnat_util/gnat_util-2019-r1.ebuild b/dev-ada/gnat_util/gnat_util-2019-r1.ebuild new file mode 100644 index 000000000000..7a63a8b83b1b --- /dev/null +++ b/dev-ada/gnat_util/gnat_util-2019-r1.ebuild @@ -0,0 +1,54 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +ADA_COMPAT=( gnat_2019 ) +inherit ada toolchain-funcs multiprocessing + +MYP=${P}-20190517 + +DESCRIPTION="Provides access to GNAT compiler internals for AdaCore utilities" +HOMEPAGE="http://libre.adacore.com" +SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf8e5031e87a8f1d425090 + -> ${MYP}-18c94-src.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+shared static-libs static-pic" + +RDEPEND="${ADA_DEPS}" +DEPEND="${RDEPEND} + dev-ada/gprbuild[${ADA_USEDEP}]" +REQUIRED_USE="${ADA_REQUIRED_USE}" + +S="${WORKDIR}"/${MYP}-194CA-src + +PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch ) + +src_compile() { + emake GNATMAKE="${GNATMAKE} ${ADAFLAGS}" \ + BUILDER="gprbuild -j$(makeopts_jobs)" generate_sources + if use static-libs; then + emake BUILDER="gprbuild -v -j$(makeopts_jobs)" build-static + fi + for kind in shared static-pic; do + if use ${kind}; then + emake BUILDER="gprbuild -v -j$(makeopts_jobs)" \ + build-${kind} + fi + done +} + +src_install() { + if use static-libs; then + emake prefix="${D}"/usr install-static + fi + for kind in shared static-pic; do + if use ${kind}; then + emake prefix="${D}"/usr install-${kind} + fi + done + einstalldocs +} |