dev-ada / gnatcoll-core

GNAT Component Collection Core packages

Official package sites : https://github.com/AdaCore/gnatcoll-core/ ·

The reusable library known as the GNAT Component Collection (GNATColl) is based on one main principle: general-purpose packages that are part of the GNAT technology should also be available to GNAT user application code. The compiler front end, the GNAT Programming Studio (GPS) Interactive Development Environment, and the GNAT Tracker web-based interface all served as sources for the components. The GNATColl components complement the predefined Ada and GNAT libraries and deal with a range of common programming issues including string and text processing, memory management, and file handling. Several of the components are especially useful in enterprise applications.

v26.0.0 :: 0/26.0.0 :: gentoo

Modified
License
GPL-3
Keywords
~amd64 ~arm64 ~x86
USE flags
doc minimal projects shared static-libs static-pic test

v25.0.0-r2 :: 0/25.0.0 :: gentoo

Modified
License
GPL-3
Keywords
amd64 x86 ~arm64
USE flags
doc minimal projects shared static-libs static-pic test

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
minimal
Install a very minimal build (disables, for example, plugins, fonts, most drivers, non-critical features)
projects
Build gnatcoll_projects
shared
Build shared library
static-libs
Build static versions of dynamic libraries as well
static-pic
Build static library with pic code
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

ada_target

gcc_12
Compile with sys-devel/gcc:12
gcc_13
Compile with sys-devel/gcc:13
gcc_14
Compile with sys-devel/gcc:14
gcc_15
Compile with sys-devel/gcc:15
gcc_16
Compile with sys-devel/gcc:16

dev-ada / libgpr : Ada library to handle GPRbuild project files

dev-ada / ada_language_server : a Language Server Protocol for Ada/SPARK

dev-ada / ada_libfswatch : Ada binding to the libfswatch library

dev-ada / aws : A complete Web development framework

dev-ada / gnatcoll-bindings : GNAT Component Collection

dev-ada / gnatcoll-db : GNAT Component Collection

dev-ada / gnatdoc : GNAT Documentation Generation Tool

dev-ada / gnatformat : Opinionated code formatter for the Ada language

dev-ada / gpr : LibGPR2 - Parser for GPR Project files

dev-ada / langkit : A Python framework to generate language parsers

dev-ada / libadalang-tools : Libadalang-based tools: gnatpp, gnatmetric and gnatstub

dev-ada / prettier-ada : Port of the Prettier formatter to the Ada programming language

dev-lang / spark : Software development for high-reliability applications

Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: enable py3.14
Closes: https://bugs.gentoo.org/973798 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Paul Zander · gentoo
dev-ada/gnatcoll-core: use get_makeopts_*
multiprocessing backward deprecated makeopts_* in <EAPI-9, breaking CI Done via: ``` grep -RP '(?<!get_)makeopts_jobs' sed -e 's/(\(makeopts_jobs\))/\(get_\1)/g' -i */*/*.ebuild eclass/*.eclass sed -e 's/(\(makeopts_jobs\)/\(get_\1/g' -i */*/*.ebuild eclass/*.eclass grep -RP '(?<!get_)makeopts_loadavg' sed -e 's/(\(makeopts_loadavg\))/\(get_\1)/g' -i */*/*.ebuild eclass/*.eclass sed -e 's/(\(makeopts_loadavg\)/\(get_\1/g' -i */*/*.ebuild eclass/*.eclass ``` Signed-off-by: Paul Zander <negril.nx+gentoo@gmail.com> Part-of: https://codeberg.org/gentoo/gentoo/pulls/426 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: add 26.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: add support for gcc:16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: support gcc:15
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: libgpr is always shared
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: drop 24.0.0-r4
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: libgpr going to loose shared USE
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ada/gnatcoll-core: Stabilize 25.0.0 x86, #951067
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ada/gnatcoll-core: Stabilize 25.0.0 amd64, #951067
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: disable pypy3
Bug: https://bugs.gentoo.org/951001 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ada/gnatcoll-core: fixup python_check_deps
With USE="-doc test", if we have dev-ada/e3-testsuite installed but not dev-python/sphinx, we end up failing because we don't return early if *ONLY* USE=test and end up looking for doc deps. Feel like I'm missing a more elegant way of doing this (other than relying on just the implicit return which doesnt't simplify much) but let's get it fixed in any case. Bug: https://bugs.gentoo.org/951067 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: drop gnat_2021
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: keyword 25.0.0 for ~arm64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: add 25.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: drop 23.0.0-r1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ada/gnatcoll-core: Stabilize 24.0.0-r3 x86, #944318
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ada/gnatcoll-core: Stabilize 24.0.0-r3 amd64, #944318
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: enable gcc_14
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: adj deps
Closes: https://bugs.gentoo.org/926027 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: adj deps
Closes: https://bugs.gentoo.org/926016 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: add 24.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: support gcc:13
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: drop gcc_12_2_0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: update EAPI 7 -> 8
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: drop 22.0.0-r1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: RdependChange
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: NonExistentDeps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: stabilize and remove all
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: add 23.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: drop gnat_2020 support
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: build with gcc-12.2.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-ada/gnatcoll-core: x86 stable wrt bug #800527
Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: build something
Closes: https://bugs.gentoo.org/829631 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: build something
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: unsupport gnat_2019, drop old
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: add subslot
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: 22.0.0 bump
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: drop <gnat_2019 support
Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-ada/gnatcoll-core: amd64 stable wrt bug #800527
Package-Manager: Portage-3.0.20, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: change doc path to /usr/share/gnatdoc
Closes: https://bugs.gentoo.org/797640 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: remove support for gnat_2016
Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: bump to 2021
Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: enable gnat_2020, fix VariableScope
Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: remove old version
Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: 2020 stable
Package-Manager: Portage-2.3.99, Repoman-2.3.23 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: version bump to 2020
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gnatcoll-core: do not build with incoming dev-ada/libgpr-2020
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: get rids of oldstyle ada use
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: Stable version
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: remove extra use flag
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: simplify using ada eclass
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: stable 2018-r1
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: fix repoman warnings
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: default to gnat_2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: EAPI 7
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: bump to 2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: Use a better dependency
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: Fix a dependency problem
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: enable build with gnat-gpl-2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: Stabilize
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: Better block against dev-ada/gnatcoll
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: Remove ada manifests
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: Good for gnat_2017 too
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: Adapt to change in gnat-gpl-2018
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gnatcoll-core: Add dev-ada/gnatcoll-core
Package-Manager: Portage-2.3.40, Repoman-2.3.9