diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-12-18 21:03:56 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-12-18 21:10:37 +0100 |
| commit | c7b6c5c4226ca7c04745c5e27652a684948fc97f (patch) | |
| tree | 3bcddb9b0c50e1f6a7aeefb6a7037574d59bae6c /dev-ada/gnatdoc | |
| parent | dev-ada/markdown: new package, add 23.0.0 (diff) | |
| download | gentoo-c7b6c5c4226ca7c04745c5e27652a684948fc97f.tar.gz gentoo-c7b6c5c4226ca7c04745c5e27652a684948fc97f.tar.bz2 gentoo-c7b6c5c4226ca7c04745c5e27652a684948fc97f.zip | |
dev-ada/gnatdoc: new package, add 23.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ada/gnatdoc')
| -rw-r--r-- | dev-ada/gnatdoc/Manifest | 1 | ||||
| -rw-r--r-- | dev-ada/gnatdoc/gnatdoc-23.0.0.ebuild | 44 | ||||
| -rw-r--r-- | dev-ada/gnatdoc/metadata.xml | 10 |
3 files changed, 55 insertions, 0 deletions
diff --git a/dev-ada/gnatdoc/Manifest b/dev-ada/gnatdoc/Manifest new file mode 100644 index 000000000000..a0a131df9f2d --- /dev/null +++ b/dev-ada/gnatdoc/Manifest @@ -0,0 +1 @@ +DIST gnatdoc-23.0.0.tar.gz 39607 BLAKE2B 589b3f0a9af9d5067e2017083f834697f7e1995c76be3a84e24409261ec058cd8b1e2487bd78d03d36b6ccab68ec0b294534726f3171b4080ed1d569d0c23be7 SHA512 0e9095ced08086a3be03e20b49ddb436d4efb396001e9d6877b0612adc3d8e2a08f1d5146d07c9acf5dc59a73418f7a3ec3231aba63c9644e6829c387703e6ae diff --git a/dev-ada/gnatdoc/gnatdoc-23.0.0.ebuild b/dev-ada/gnatdoc/gnatdoc-23.0.0.ebuild new file mode 100644 index 000000000000..a2e1373c072b --- /dev/null +++ b/dev-ada/gnatdoc/gnatdoc-23.0.0.ebuild @@ -0,0 +1,44 @@ +# 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="GNAT Documentation Generation Tool" +HOMEPAGE="https://github.com/AdaCore/gnatdoc" +SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64" + +RDEPEND="${ADA_DEPS} + dev-ada/gnatcoll-bindings[${ADA_USEDEP},gmp,iconv,shared,static-libs,static-pic] + dev-ada/gnatcoll-core[${ADA_USEDEP},shared,static-libs,static-pic] + dev-ada/gpr[${ADA_USEDEP},shared] + dev-ada/gpr-unit-provider[${ADA_USEDEP},shared] + dev-ada/langkit[${ADA_USEDEP},shared,static-libs,static-pic] + dev-ada/libadalang[${ADA_USEDEP},static-libs,static-pic] + dev-ada/libgpr[${ADA_USEDEP},shared,static-libs,static-pic] + dev-ada/markdown[${ADA_USEDEP}] + dev-ada/VSS[${ADA_USEDEP}] + dev-ada/xmlada[${ADA_USEDEP},shared,static-libs,static-pic]" +DEPEND="${RDEPEND}" +BDEPEND="" + +src_compile() { + gprbuild -v -j$(makeopts_jobs) -p -P gnat/libgnatdoc.gpr \ + -XLIBRARY_TYPE=relocatable || die + gprbuild -v -j$(makeopts_jobs) -p -P gnat/gnatdoc.gpr \ + -XLIBRARY_TYPE=static || die +} + +src_install() { + gprinstall -v -p -P gnat/libgnatdoc.gpr \ + -XLIBRARY_TYPE=relocatable --prefix="${D}"/usr || die + gprinstall -v -p -P gnat/gnatdoc.gpr \ + -XLIBRARY_TYPE=relocatable --prefix="${D}"/usr || die +} diff --git a/dev-ada/gnatdoc/metadata.xml b/dev-ada/gnatdoc/metadata.xml new file mode 100644 index 000000000000..3e71b8715df6 --- /dev/null +++ b/dev-ada/gnatdoc/metadata.xml @@ -0,0 +1,10 @@ +<?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> + <upstream> + <remote-id type="github">AdaCore/gnatdoc</remote-id> + </upstream> +</pkgmetadata> |