summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2017-04-06 21:23:54 +0200
committerTupone Alfredo <tupone@gentoo.org>2017-04-06 21:23:54 +0200
commit04f37879f6a2c53315cd6d7c60abdb4e9ec68842 (patch)
tree467bf61fa20b2c71a8b6a0570c68c47fb4204478 /dev-ada
parentapp-misc/vifm: Drops old version (diff)
downloadgentoo-04f37879f6a2c53315cd6d7c60abdb4e9ec68842.tar.gz
gentoo-04f37879f6a2c53315cd6d7c60abdb4e9ec68842.tar.bz2
gentoo-04f37879f6a2c53315cd6d7c60abdb4e9ec68842.zip
dev-ada/asis: Add dev-ada/asis-2016
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/asis/Manifest1
-rw-r--r--dev-ada/asis/asis-2016.ebuild39
-rw-r--r--dev-ada/asis/files/asis-2016-gentoo.patch36
-rw-r--r--dev-ada/asis/metadata.xml8
4 files changed, 84 insertions, 0 deletions
diff --git a/dev-ada/asis/Manifest b/dev-ada/asis/Manifest
new file mode 100644
index 000000000000..8e8a0b3e1315
--- /dev/null
+++ b/dev-ada/asis/Manifest
@@ -0,0 +1 @@
+DIST asis-gpl-2016-src.tar.gz 5240554 SHA256 3e36e0835e291dafe6dd2246748ed12b449d33044c32209d3af012c83064c38e SHA512 439195d4cb5d58328dcc8c815cb6a32c5f8ed1d6581246dfa5dcca7c212ffad38dd63df25e490c4ac628eaf8c8e6d286f8ea036b7f39499704565b60c1bba8ee WHIRLPOOL 12ded099fdf510be75d67795f990b0044ba701595c4a2c858c46cc5dc97d5c380bd9d51c654a18183a77f9cbc1a9bb7a5dea344da471e6a136154da9d7cb558d
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
+}
diff --git a/dev-ada/asis/files/asis-2016-gentoo.patch b/dev-ada/asis/files/asis-2016-gentoo.patch
new file mode 100644
index 000000000000..c5ffda3628b9
--- /dev/null
+++ b/dev-ada/asis/files/asis-2016-gentoo.patch
@@ -0,0 +1,36 @@
+--- asis-gpl-2015-src/Makefile.old 2017-01-03 13:59:38.106788092 +0000
++++ asis-gpl-2015-src/Makefile 2017-01-03 14:01:43.735605615 +0000
+@@ -10,15 +10,18 @@
+ # ==================================================== build
+
+ all:
+- $(GPRBUILD) -p -j0 -XBLD=$(BLD) -XOPSYS=$(OPSYS) \
+- $(GPRBUILD_FLAGS) -XASIS_COMPONENTS=$(COMPS) build_asis.gpr
++ $(GPRBUILD) -p -j$(PROCESSORS) -XBLD=$(BLD) -XOPSYS=$(OPSYS) \
++ $(GPRBUILD_FLAGS) -XASIS_COMPONENTS=$(COMPS) build_asis.gpr \
++ -cargs $(ADAFLAGS)
+
+ tools: setup
+- $(GPRBUILD) -p -j0 -XBLD=$(BLD) -XOPSYS=$(OPSYS) \
+- $(GPRBUILD_FLAGS) -XASIS_COMPONENTS=tools build_asis.gpr
++ $(GPRBUILD) -p -j$(PROCESSORS) -XBLD=$(BLD) -XOPSYS=$(OPSYS) \
++ $(GPRBUILD_FLAGS) -XASIS_COMPONENTS=tools build_asis.gpr \
++ -cargs $(ADAFLAGS)
+
+ setup:
+- $(GPRBUILD) -p -XBLD=$(BLD) tools/tool_utils/generate_factory.gpr
++ $(GPRBUILD) -p -j$(PROCESSORS) -XBLD=$(BLD) tools/tool_utils/generate_factory.gpr \
++ -cargs $(ADAFLAGS)
+ rm -rf tools/tool_utils/ada_trees-factory.ads tools/tool_utils/ada_trees-factory.adb
+ rm -rf tools/gnat2xml/ada_trees-factory.ads tools/gnat2xml/ada_trees-factory.adb
+ cd tools/tool_utils ; ./ada_trees-generate_factory$(exe_ext)
+--- asis-gpl-2016-src/Makefile.stub.old 2017-04-06 21:16:41.802376709 +0200
++++ asis-gpl-2016-src/Makefile.stub 2017-04-06 21:17:01.627023825 +0200
+@@ -3,7 +3,6 @@
+
+ # Where Asis library should be installed
+ # Default is into current GNAT directory
+-INSTALL_DIR = $(dir $(shell which gnatls))..
+ prefix=$(INSTALL_DIR)
+
+ # System commands
diff --git a/dev-ada/asis/metadata.xml b/dev-ada/asis/metadata.xml
new file mode 100644
index 000000000000..d0e866f244f8
--- /dev/null
+++ b/dev-ada/asis/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <email>tupone@gentoo.org</email>
+ <name>Tupone Alfredo</name>
+ </maintainer>
+</pkgmetadata>