diff options
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/Manifest.gz | bin | 4068 -> 4237 bytes | |||
| -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 | ||||
| -rw-r--r-- | dev-ada/gpr/Manifest | 2 | ||||
| -rw-r--r-- | dev-ada/gpr/gpr-23.0.0-r1.ebuild (renamed from dev-ada/gpr/gpr-23.0.0.ebuild) | 2 |
6 files changed, 57 insertions, 2 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz Binary files differindex bfc8d301cab4..e22e59def710 100644 --- a/dev-ada/Manifest.gz +++ b/dev-ada/Manifest.gz 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> diff --git a/dev-ada/gpr/Manifest b/dev-ada/gpr/Manifest index 9ce652cee56e..6da6a387b122 100644 --- a/dev-ada/gpr/Manifest +++ b/dev-ada/gpr/Manifest @@ -1,3 +1,3 @@ DIST gpr-23.0.0.tar.gz 1005298 BLAKE2B 475ac5ad89a4d038dc8cdb953826f46e0f8f2bbf09a858366a634b5bacfc4b0282db4206cf5d113900dffd3c2ad9423b6c6e56de8058215a7946020c30dacc8b SHA512 f1cfd2c2162ffa984c62238a472438919c22a83b61e03c9234f6bc601c1d1e50981f52d024106ad5196dd83ee7686e864c8728c56d451be06baf96161afd8bcc -EBUILD gpr-23.0.0.ebuild 1518 BLAKE2B 097961e2bff99e0ffa90dcf006c013305a0e67a8538fcc05da257830ca5f0f7947b4aa9556d7204407adee0e8bf5dcc5af5aa69298103d2b9d5ff349563e0f97 SHA512 0dfdb72a7bad6c68f7d1dd97de491d976a2b3f15c3d2e197f5facb905ed2ee6fb6d80a3d39fe0e35b66af5173716c0b02adadf7862e3fd116ffce21c21031d28 +EBUILD gpr-23.0.0-r1.ebuild 1507 BLAKE2B 6bd9d4b537087ab982af510dbae902ee8b1da7cfc8f570c54d633c8b24a8dc093e7477a381a48362d926dc108c84f84a4a44ab1843e027fc57f4ddbc808e26ea SHA512 a32f8520e5e686bf68445e6744ee885db70459d6e7160d74d4240bf4d0566ff25211e4252b3b71f4157298863e78b4cf00e2b0efd07616b74da799b60008fddd 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-r1.ebuild index dcb73663e471..18d10335b4e3 100644 --- a/dev-ada/gpr/gpr-23.0.0.ebuild +++ b/dev-ada/gpr/gpr-23.0.0-r1.ebuild @@ -44,7 +44,7 @@ python_check_deps() { src_configure() { emake PROCESSORS=$(makeopts_jobs) \ GPR2KBDIR=/usr/share/gprconfig \ - ENABLE_SHARED=$(usex shared true false) \ + ENABLE_SHARED=$(usex shared) \ setup } |