dev-ada / gnatcoll-core

GNAT Component Collection Core packages

Official package sites : http://libre.adacore.com ·

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.

v23.0.0-r1 :: 0/23.0.0 :: gentoo

Modified
License
GPL-3
Keywords
amd64 x86
USE flags
shared static-libs static-pic

General

shared
Build shared library
static-libs
Build static versions of dynamic libraries as well
static-pic
Build static library with pic code

ada_target

gcc_12
Compile with sys-devel/gcc:12
gcc_13
Compile with sys-devel/gcc:13
gnat_2021
Compile with dev-lang/gnat-gpl-2021

dev-ada / gprbuild : Multi-Language Management

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

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

dev-ada / ada_language_server : an implementation of the Microsoft 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 / gpr : LibGPR2 - Parser for GPR Project files

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

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