diff options
Diffstat (limited to 'dev-ada/asis/asis-2016.ebuild')
-rw-r--r-- | dev-ada/asis/asis-2016.ebuild | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/dev-ada/asis/asis-2016.ebuild b/dev-ada/asis/asis-2016.ebuild new file mode 100644 index 000000000000..47ebf240c765 --- /dev/null +++ b/dev-ada/asis/asis-2016.ebuild @@ -0,0 +1,39 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +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/57399029c7a447658e0aff71 + -> ${MYP}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64" +IUSE="" + +DEPEND="dev-ada/gnat_util + dev-ada/gnatcoll[projects,shared] + dev-ada/gprbuild + dev-ada/xmlada + dev-lang/gnat-gpl" +RDEPEND="${RDEPEND}" + +S="${WORKDIR}"/${MYP} + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_compile() { + emake PROCESSORS=$(makeopts_jobs) + emake tools PROCESSORS=$(makeopts_jobs) +} + +src_install() { + emake prefix="${D}"/usr install + emake prefix="${D}"/usr install-tools +} |