mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-06 00:48:18 -07:00
dev-ada/libadalang-tools: Remove last-rited pkg
Closes: https://bugs.gentoo.org/735264 Signed-off-by: Michał Górny <mgorny@gentoo.org>
This commit is contained in:
@@ -1 +0,0 @@
|
||||
DIST libadalang-tools-2019-20190517-195C4-src.tar.gz 625775 BLAKE2B 2ec69e307576c505d20a43d229b13404966f4442778e5390da327ae71cc065873de4fff03a720949fa6bfb5ce66f405e7d45f7f0c21032a639efcff208323aed SHA512 b7368606847244cbb08ff2111fabfbfc8a9aa7f58e953febc70838006d94711dba1fd75bfb69ed2081a37a2dfaaad46097127870696c882d7cc54de5d7b051a1
|
||||
@@ -1,40 +0,0 @@
|
||||
# Copyright 1999-2020 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=7
|
||||
|
||||
ADA_COMPAT=( gnat_201{6,7,8,9} )
|
||||
inherit ada multiprocessing
|
||||
|
||||
MYP=${P}-20190517-195C4
|
||||
DESCRIPTION="Libadalang-based tools: gnatpp, gnatmetric and gnatstub"
|
||||
HOMEPAGE="https://www.adacore.com/community"
|
||||
SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf8f4e31e87a8f1d42509f ->
|
||||
${MYP}-src.tar.gz"
|
||||
|
||||
LICENSE="GPL-3"
|
||||
SLOT="0"
|
||||
KEYWORDS="amd64 x86"
|
||||
IUSE=""
|
||||
|
||||
RESTRICT="test"
|
||||
|
||||
RDEPEND="${ADA_DEPS}"
|
||||
DEPEND="${RDEPEND}
|
||||
dev-ada/libadalang[${ADA_USEDEP},static-libs]
|
||||
dev-ada/gprbuild[${ADA_USEDEP}]"
|
||||
|
||||
S="${WORKDIR}"/${MYP}-src
|
||||
|
||||
src_compile() {
|
||||
gprbuild -v -k -XLIBRARY_TYPE=static -XXMLADA_BUILD=static \
|
||||
-XGNATCOLL_GMP_BUILD=static \
|
||||
-P src/build.gpr -p -j$(makeopts_jobs) || die
|
||||
}
|
||||
|
||||
src_install() {
|
||||
dobin bin/gnatpp
|
||||
newbin bin/gnatmetric gnatmetric-tool
|
||||
newbin bin/gnatstub gnatstub-tool
|
||||
einstalldocs
|
||||
}
|
||||
@@ -1,7 +0,0 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
|
||||
<pkgmetadata>
|
||||
<maintainer type="project">
|
||||
<email>ada@gentoo.org</email>
|
||||
</maintainer>
|
||||
</pkgmetadata>
|
||||
@@ -348,7 +348,6 @@ dev-lang/spark
|
||||
# Removal in 30 days.
|
||||
dev-ada/langkit
|
||||
dev-ada/libadalang
|
||||
dev-ada/libadalang-tools
|
||||
|
||||
# Mart Raudsepp <leio@gentoo.org> (2020-08-15)
|
||||
# Development release, needs testing to ensure valac-0.50
|
||||
|
||||
Reference in New Issue
Block a user