mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-09-24 04:59:14 -07:00
dev-ada/asis: Add dev-ada/asis-2016
Package-Manager: Portage-2.3.3, Repoman-2.3.1
This commit is contained in:
1
dev-ada/asis/Manifest
Normal file
1
dev-ada/asis/Manifest
Normal file
@@ -0,0 +1 @@
|
||||
DIST asis-gpl-2016-src.tar.gz 5240554 SHA256 3e36e0835e291dafe6dd2246748ed12b449d33044c32209d3af012c83064c38e SHA512 439195d4cb5d58328dcc8c815cb6a32c5f8ed1d6581246dfa5dcca7c212ffad38dd63df25e490c4ac628eaf8c8e6d286f8ea036b7f39499704565b60c1bba8ee WHIRLPOOL 12ded099fdf510be75d67795f990b0044ba701595c4a2c858c46cc5dc97d5c380bd9d51c654a18183a77f9cbc1a9bb7a5dea344da471e6a136154da9d7cb558d
|
||||
39
dev-ada/asis/asis-2016.ebuild
Normal file
39
dev-ada/asis/asis-2016.ebuild
Normal file
@@ -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
|
||||
}
|
||||
36
dev-ada/asis/files/asis-2016-gentoo.patch
Normal file
36
dev-ada/asis/files/asis-2016-gentoo.patch
Normal file
@@ -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
|
||||
8
dev-ada/asis/metadata.xml
Normal file
8
dev-ada/asis/metadata.xml
Normal file
@@ -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>
|
||||
Reference in New Issue
Block a user