dev-ada / gpr

LibGPR2 - Parser for GPR Project files

Official package sites : https://github.com/AdaCore/gpr ·

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

Modified
License
Apache-2.0
Keywords
amd64 ~arm64 ~x86
USE flags
shared static-libs static-pic test

v24.2.0 :: 0 :: gentoo

Modified
License
Apache-2.0
Keywords
~amd64 ~arm64 ~x86
USE flags
static-libs static-pic

v24.0.0-r2 :: 0 :: gentoo

Modified
License
Apache-2.0
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
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

dev-ada / gnatcoll-bindings : GNAT Component Collection

dev-ada / gnatcoll-core : GNAT Component Collection Core packages

dev-ada / gprbuild : Multi-Language Management

dev-ada / gprconfig_kb : GPR configuration knowledge base

dev-ada / xmlada : Set of modules that provide a simple manipulation of XML streams

sys-devel / gcc : The GNU Compiler Collection

dev-ada / gnatcoll-bindings : GNAT Component Collection

dev-ada / gnatcoll-core : GNAT Component Collection Core packages

dev-ada / xmlada : Set of modules that provide a simple manipulation of XML streams

sys-devel / gcc : The GNU Compiler Collection

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

dev-ada / gnatdoc : GNAT Documentation Generation Tool

dev-ada / gpr-unit-provider : GPR Unit Provider

dev-ada / libadalang : high performance semantic engine for the Ada programming language

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

951068
dev-ada/gpr-25.0.0-r1: stablereq
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ada/gpr: Stabilize 25.0.0-r2 amd64, #951068
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: test needs gnatmem
Closes: https://bugs.gentoo.org/954177 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: drop gnat_2021
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: SUBSLOT package
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: add gcc_13
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: add 24.2.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: 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/gpr: drop 23.0.0 add 25.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ada/gpr: Stabilize 24.0.0-r1 x86, #944314
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ada/gpr: Stabilize 24.0.0-r1 amd64, #944314
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: enable gcc_14
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: 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/gpr: support gcc_13
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: respect CFLAGS/LDFLAGS on tools too
Closes: https://bugs.gentoo.org/907055 Closes: https://bugs.gentoo.org/907056 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: add libadalang dep
Closes: https://bugs.gentoo.org/902525 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: call python pkg_setup
Closes: https://bugs.gentoo.org/906971 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: respect ADAFLAGS & LDFLAGS
Closes: https://bugs.gentoo.org/902529 Closes: https://bugs.gentoo.org/902531 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: static-libs and static-pic control generation of .a files
Closes: https://bugs.gentoo.org/902535 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: 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/gpr: gcc_12, EAPI8
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
*/*: remove py3.8 from PYTHON_COMPAT
Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: fix shared
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: disable py3.6, py3.7, pypy3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr: new package, add 23.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>