dev-ada / gpr-unit-provider

GPR Unit Provider

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

v23.0.0-r4 :: 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 / gpr : LibGPR2 - Parser for GPR Project files

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

dev-lang / gnat-gpl : GNAT Ada Compiler - GPL version

sys-devel / gcc : The GNU Compiler Collection

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

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

dev-lang / gnat-gpl : GNAT Ada Compiler - GPL version

sys-devel / gcc : The GNU Compiler Collection

dev-ada / ada_language_server : an implementation of the Microsoft Language Server Protocol for Ada/SPARK

dev-ada / gnatdoc : GNAT Documentation Generation Tool

Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr-unit-provider: build with gcc_13
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr-unit-provider: respect ADAFLAGS
Closes: https://bugs.gentoo.org/902537 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr-unit-provider: static libraries under static-libs flag
Closes: https://bugs.gentoo.org/902539 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr-unit-provider: 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-unit-provider: EAPI 8 gcc_12
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/gpr-unit-provider: new package, add 23.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>