summaryrefslogtreecommitdiff
path: root/dev-ada/gpr
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-12-16 15:36:38 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-12-16 15:36:38 +0000
commit39fcd539b9eeb7df75bccad136265b5f001d1a3c (patch)
treefcedf7eec512b29edce8c642c52f834b2e15b4f8 /dev-ada/gpr
parentb982051e7c8e12c3810a0d21d30d687b406b3ae5 (diff)
gentoo auto-resync : 16:12:2022 - 15:36:37
Diffstat (limited to 'dev-ada/gpr')
-rw-r--r--dev-ada/gpr/Manifest3
-rw-r--r--dev-ada/gpr/gpr-23.0.0.ebuild65
-rw-r--r--dev-ada/gpr/metadata.xml13
3 files changed, 81 insertions, 0 deletions
diff --git a/dev-ada/gpr/Manifest b/dev-ada/gpr/Manifest
new file mode 100644
index 000000000000..4871757c3aa0
--- /dev/null
+++ b/dev-ada/gpr/Manifest
@@ -0,0 +1,3 @@
+DIST gpr-23.0.0.tar.gz 1005298 BLAKE2B 475ac5ad89a4d038dc8cdb953826f46e0f8f2bbf09a858366a634b5bacfc4b0282db4206cf5d113900dffd3c2ad9423b6c6e56de8058215a7946020c30dacc8b SHA512 f1cfd2c2162ffa984c62238a472438919c22a83b61e03c9234f6bc601c1d1e50981f52d024106ad5196dd83ee7686e864c8728c56d451be06baf96161afd8bcc
+EBUILD gpr-23.0.0.ebuild 1526 BLAKE2B f7afb9c7fd12c1b6c3851d24af189aee5afa23a1ff055610765baf8bba87b508e1b9daa52a136c5187942a0b0d68e5bf23e611eb6302de5614f8d872e9cbcee5 SHA512 b5dd00ffb59bc83b2ba023307697029f8ffe35e9bd5203d13100630e713aa823130ef1835b032bb55de201c14bf56a51d7c6d7e5dfc1597e524e7efdf8995391
+MISC metadata.xml 357 BLAKE2B c6eab7337743f6969c01915cefeb70482bca367bac4437612a496779cf32e602decab0761488aa9156c61102fa9875fa948840b44493634933cfbd6903132c6e SHA512 2b1b0517ac9d91a17d12dae70dd8caaec1d20819246cb49dcf4cb7244c13f43dda6bad1b8b7224ce9bb40f82c94186c1364848f182d3040d149591241643a0f1
diff --git a/dev-ada/gpr/gpr-23.0.0.ebuild b/dev-ada/gpr/gpr-23.0.0.ebuild
new file mode 100644
index 000000000000..e00053c0067c
--- /dev/null
+++ b/dev-ada/gpr/gpr-23.0.0.ebuild
@@ -0,0 +1,65 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+ADA_COMPAT=( gnat_2021 gcc_12_2_0 )
+PYTHON_COMPAT=( python3_{6,7,8,9,10,11} pypy3 )
+
+inherit python-any-r1 ada multiprocessing
+
+DESCRIPTION="LibGPR2 - Parser for GPR Project files"
+HOMEPAGE="https://github.com/AdaCore/gpr"
+SRC_URI="https://github.com/AdaCore/gpr/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+RDEPEND="${ADA_DEPS}
+ dev-ada/xmlada[${ADA_USEDEP}]
+ shared? ( dev-ada/xmlada[shared,static-pic] )
+ dev-ada/gnatcoll-core[${ADA_USEDEP}]
+ shared? ( dev-ada/gnatcoll-core[shared,static-pic] )
+ dev-ada/gnatcoll-bindings[${ADA_USEDEP},iconv,gmp]
+ shared? ( dev-ada/gnatcoll-bindings[shared,static-pic] )"
+
+DEPEND="${RDEPEND}
+ dev-ada/gprconfig_kb[${ADA_USEDEP}]
+ dev-ada/gprbuild[${ADA_USEDEP}]"
+
+BDEPEND="${PYTHON_DEPS}
+ $(python_gen_any_dep '
+ dev-ada/langkit[${PYTHON_USEDEP}]
+ ')"
+
+IUSE="+shared"
+REQUIRED_USE="${ADA_REQUIRED_USE}"
+
+python_check_deps() {
+ python_has_version "dev-ada/langkit[${PYTHON_USEDEP}]"
+}
+
+src_configure() {
+ emake PROCESSORS=$(makeopts_jobs) \
+ GPR2KBDIR=/usr/share/gprconfig \
+ ENABLE_SHARED=$(usex shared true false) \
+ setup
+}
+
+src_compile() {
+ emake GPRBUILD_OPTIONS=-v
+}
+
+src_install() {
+ emake install \
+ prefix="${D}"/usr
+ einstalldocs
+
+ rm "${D}"/usr/bin/gprclean || die
+ rm "${D}"/usr/bin/gprconfig || die
+ rm "${D}"/usr/bin/gprinstall || die
+ rm "${D}"/usr/bin/gprls || die
+ rm "${D}"/usr/bin/gprname || die
+}
diff --git a/dev-ada/gpr/metadata.xml b/dev-ada/gpr/metadata.xml
new file mode 100644
index 000000000000..51966a8cdf1e
--- /dev/null
+++ b/dev-ada/gpr/metadata.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ada@gentoo.org</email>
+ </maintainer>
+ <use>
+ <flag name="shared">Build shared library</flag>
+ </use>
+ <upstream>
+ <remote-id type="github">AdaCore/gpr</remote-id>
+ </upstream>
+</pkgmetadata>