diff options
Diffstat (limited to 'dev-ada/asis/asis-2017.ebuild')
-rw-r--r-- | dev-ada/asis/asis-2017.ebuild | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/dev-ada/asis/asis-2017.ebuild b/dev-ada/asis/asis-2017.ebuild new file mode 100644 index 000000000000..0f150265f63a --- /dev/null +++ b/dev-ada/asis/asis-2017.ebuild @@ -0,0 +1,45 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit multiprocessing +MYP=${PN}-gpl-${PV}-src + +DESCRIPTION="To develop tools for Ada software" +HOMEPAGE="http://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deecffb + -> ${MYP}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="amd64 x86" +IUSE="gnat_2016 +gnat_2017" + +DEPEND="dev-ada/gnat_util[gnat_2017] + dev-ada/gnatcoll[gnat_2017,projects,shared] + dev-ada/gprbuild[gnat_2017] + dev-ada/xmlada[gnat_2017] + dev-lang/gnat-gpl:6.3.0" +RDEPEND="${RDEPEND}" +REQUIRED_USE="!gnat_2016 gnat_2017" + +S="${WORKDIR}"/${MYP} + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_compile() { + emake PROCESSORS=$(makeopts_jobs) + emake tools PROCESSORS=$(makeopts_jobs) \ + GPRBUILD_FLAGS="-vl \ + -XLIBRARY_TYPE=relocatable \ + -XXMLADA_BUILD=relocatable" +} + +src_install() { + emake prefix="${D}"/usr install + emake prefix="${D}"/usr install-tools \ + GPRINSTALL="gprinstall \ + -XLIBRARY_TYPE=relocatable \ + -XXMLADA_BUILD=relocatable" +} |