diff options
author | Tupone Alfredo <tupone@gentoo.org> | 2017-04-06 21:23:54 +0200 |
---|---|---|
committer | Tupone Alfredo <tupone@gentoo.org> | 2017-04-06 21:23:54 +0200 |
commit | 04f37879f6a2c53315cd6d7c60abdb4e9ec68842 (patch) | |
tree | 467bf61fa20b2c71a8b6a0570c68c47fb4204478 /dev-ada/asis | |
parent | app-misc/vifm: Drops old version (diff) | |
download | gentoo-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/asis')
-rw-r--r-- | dev-ada/asis/Manifest | 1 | ||||
-rw-r--r-- | dev-ada/asis/asis-2016.ebuild | 39 | ||||
-rw-r--r-- | dev-ada/asis/files/asis-2016-gentoo.patch | 36 | ||||
-rw-r--r-- | dev-ada/asis/metadata.xml | 8 |
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> |