summaryrefslogtreecommitdiff
path: root/dev-ada/gpr-unit-provider
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-12-18 03:40:50 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-12-18 03:40:50 +0000
commit7bf32644d8b70a318475609992d8e4853ec4ec0e (patch)
treec1a8189f6bec3613a4c73b2158bfa7ce2640b26e /dev-ada/gpr-unit-provider
parent85c74bc4e237bda22f900628aab62d70c41536d8 (diff)
gentoo auto-resync : 18:12:2022 - 03:40:50
Diffstat (limited to 'dev-ada/gpr-unit-provider')
-rw-r--r--dev-ada/gpr-unit-provider/Manifest3
-rw-r--r--dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0.ebuild39
-rw-r--r--dev-ada/gpr-unit-provider/metadata.xml13
3 files changed, 55 insertions, 0 deletions
diff --git a/dev-ada/gpr-unit-provider/Manifest b/dev-ada/gpr-unit-provider/Manifest
new file mode 100644
index 000000000000..c0f1c7e19c1e
--- /dev/null
+++ b/dev-ada/gpr-unit-provider/Manifest
@@ -0,0 +1,3 @@
+DIST gpr-unit-provider-23.0.0.tar.gz 29171 BLAKE2B 11e6311cde8ef12174a90e2ba3063734903e367bd027c6b3edb5f43f5d498e90ba97c89634a9b1f176f15e4ed97f5962f1b786d7f86f9afaa19a4d5688194649 SHA512 b67f922e8460be69357da046d8c74bf580efa05498d4aee190d0a0ac1f69a5d111e85ca2f52562fbdd27c7a343d2cac777d86fb8b38b3fbd627e3b42afca36f9
+EBUILD gpr-unit-provider-23.0.0.ebuild 847 BLAKE2B 0926115b7482cb2a8608779f015e658fdea1d8696727b53753dac699492e2f30e22f76aa8c065c808d5aed2f45e3392f6f9adb280968df0d6aee6ca8207dea98 SHA512 080bdb5f9c0c975732c7c368ad8455588fc26599d991248d146677c910721770ead0aafd49f91f1c3ffe1038395400f54dcfc34fe5f0d061e2564b17f31ed1bd
+MISC metadata.xml 371 BLAKE2B 156ea654503bd3b01575f362111c4d6c14bdc5f5cccf9e50fcebf8506bf868cf4a4affd08714eab0a944393aa0c11ed3a2f0fe37fc313f9c50a47878238fd894 SHA512 9feb31be18599c694567a2f0912cf7e87e84309c65e3dc1bab32a84f70bbd15a22ab2e518ca24ae8eb55b944e4c6f4edc0543cb65ff5dfd408df97a44226ab83
diff --git a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0.ebuild b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0.ebuild
new file mode 100644
index 000000000000..f87d5cb7242e
--- /dev/null
+++ b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0.ebuild
@@ -0,0 +1,39 @@
+# 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 )
+inherit ada multiprocessing
+
+DESCRIPTION="GPR Unit Provider"
+HOMEPAGE="https://github.com/AdaCore/gpr-unit-provider"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+RDEPEND="${ADA_DEPS}
+ dev-ada/gpr[${ADA_USEDEP},shared?]
+ dev-ada/libadalang[${ADA_USEDEP},static-libs]
+ shared? ( dev-ada/libadalang[static-pic] )"
+DEPEND="${RDEPEND}"
+BDEPEND=""
+
+IUSE="+shared"
+REQUIRED_USE="${ADA_REQUIRED_USE}"
+
+src_compile() {
+ emake PROCESSORS=$(makeopts_jobs) \
+ ENABLE_SHARED=$(usex shared) \
+ GPRBUILD_OPTIONS=-v
+}
+
+src_install() {
+ emake ENABLE_SHARED=$(usex shared) \
+ prefix="${D}"/usr \
+ install
+ einstalldocs
+}
diff --git a/dev-ada/gpr-unit-provider/metadata.xml b/dev-ada/gpr-unit-provider/metadata.xml
new file mode 100644
index 000000000000..650d892ed260
--- /dev/null
+++ b/dev-ada/gpr-unit-provider/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-unit-provider</remote-id>
+ </upstream>
+</pkgmetadata>