diff options
| -rw-r--r-- | dev-ada/gpr-unit-provider/Manifest | 1 | ||||
| -rw-r--r-- | dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0.ebuild | 39 | ||||
| -rw-r--r-- | dev-ada/gpr-unit-provider/metadata.xml | 13 |
3 files changed, 53 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..67a13de44e36 --- /dev/null +++ b/dev-ada/gpr-unit-provider/Manifest @@ -0,0 +1 @@ +DIST gpr-unit-provider-23.0.0.tar.gz 29171 BLAKE2B 11e6311cde8ef12174a90e2ba3063734903e367bd027c6b3edb5f43f5d498e90ba97c89634a9b1f176f15e4ed97f5962f1b786d7f86f9afaa19a4d5688194649 SHA512 b67f922e8460be69357da046d8c74bf580efa05498d4aee190d0a0ac1f69a5d111e85ca2f52562fbdd27c7a343d2cac777d86fb8b38b3fbd627e3b42afca36f9 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> |