summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ada/asis/asis-2016.ebuild')
-rw-r--r--dev-ada/asis/asis-2016.ebuild39
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
+}