diff options
Diffstat (limited to 'dev-ada')
| -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> |