diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-12-18 03:40:50 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-18 03:40:50 +0000 |
| commit | 7bf32644d8b70a318475609992d8e4853ec4ec0e (patch) | |
| tree | c1a8189f6bec3613a4c73b2158bfa7ce2640b26e /dev-ada/gpr-unit-provider | |
| parent | 85c74bc4e237bda22f900628aab62d70c41536d8 (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/Manifest | 3 | ||||
| -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, 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> |