dev-ada / libadalang

high performance semantic engine for the Ada programming language

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

Libadalang is a project to build a high performance semantic engine for the Ada programming language. It is meant to provide a basis to write Ada tooling, including tools working on potentially changing and incorrect code, such as IDEs.

v24.0.0-r1 :: 0/24.0.0 :: gentoo

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

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

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

General

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
gnat_2021
Compile with dev-lang/gnat-gpl-2021

python_single_target

python3_10
Build for Python 3.10 only
python3_11
Build for Python 3.11 only
python3_12
Build for Python 3.12 only

dev-ada / gnatcoll-bindings : GNAT Component Collection

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

dev-ada / gprbuild : Multi-Language Management

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

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

dev-lang / python : Freethreading (no-GIL) version of Python programming language

dev-python / pyyaml : YAML parser and emitter for Python

sys-devel / gcc : The GNU Compiler Collection

dev-ada / gnatcoll-bindings : GNAT Component Collection

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

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

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

dev-lang / python : Freethreading (no-GIL) version of Python programming language

dev-python / pyyaml : YAML parser and emitter for Python

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 / aws : A complete Web development framework

dev-ada / gnatdoc : GNAT Documentation Generation Tool

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

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

882453
dev-ada/libadalang-23.0.0-r2 does not respect LDFLAGS
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/libadalang: drop java directory
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/libadalang: 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/libadalang: support gcc_13
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/libadalang: drop gcc_12_2_0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/libadalang: drop 22.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Alfredo Tupone · gentoo
dev-ada/libadalang: remove obs DEPS
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/libadalang: py3.11, gcc_12 & EAPI 8
Closes: https://bugs.gentoo.org/896668 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-ada/libadalang: Remove Python < 3.10
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/libadalang: fix deps
Closes: https://bugs.gentoo.org/885667 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/libadalang: despite versioning dev-ada/*-2021 are older
Closes: https://bugs.gentoo.org/885641 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/libadalang: require newer gnatcoll-bindings
Closes: https://bugs.gentoo.org/885519 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/libadalang: 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/libadalang: 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/libadalang: fix build
Closes: https://bugs.gentoo.org/832668 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/libadalang: avoid dev-lang/ocaml-4.14 - test are failing
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/libadalang: disable py3.7 and add 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/libadalang: ~x86 and python3.10
Package-Manager: Portage-3.0.30, 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/libadalang: use LDFLAGS
Closes: https://bugs.gentoo.org/829869 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/libadalang: build examples
Closes: https://bugs.gentoo.org/829871 Closes: https://bugs.gentoo.org/829870 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/libadalang: respect MAKEOPTS
Closes: https://bugs.gentoo.org/829758 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/libadalang: more verbose during test
Closes: https://bugs.gentoo.org/829864 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/libadalang: fix install
Closes: https://bugs.gentoo.org/829848 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/libadalang: fix test dependency
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/libadalang: fix building with gnat-gpl-2020
Closes: https://bugs.gentoo.org/829757 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/libadalang: fix DEP
Closes: https://bugs.gentoo.org/829654 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/libadalang: use 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/libadalang: semantic engine for the Ada
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
Michał Górny · gentoo
dev-ada/libadalang: Remove last-rited pkg
Closes: https://bugs.gentoo.org/735264 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/libadalang: fix usage of pyyaml load
Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
*/*: [QA] Use consistent function definition formatting
Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/libadalang: fix dependency
Closes: https://bugs.gentoo.org/708472 Package-Manager: Portage-2.3.79, 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: remove some old style ada ebuild
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/libadalang: remove old versions
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/libadalang: 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/libadalang: pkg_setup called both for python and Ada
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/libadalang: fix missing slash
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/libadalang: use 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/libadalang: fix 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/libadalang: gcc-4.9.4 is too old for 2018 (prod)
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/libadalang: fix 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/libadalang: can build static or shared
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/libadalang: dependency fix
Closes: https://bugs.gentoo.org/687296 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
Tupone Alfredo · gentoo
dev-ada/libadalang: fix 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/libadalang: 2019 version does not build with gnat_2017
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/libadalang: 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/libadalang: 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/libadalang: fix dependency
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/libadalang: Fix test
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Tupone Alfredo · gentoo
dev-ada/libadalang: Stable
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/libadalang: Stable
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/libadalang: Fix test for new libgpr
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/libadalang: Verbose, remove GCC hack
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/libadalang: Build shared/static library
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/libadalang: Bump to 2018
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Tupone Alfredo · gentoo
dev-ada/libadalang: amd64 and x86 stable
Package-Manager: Portage-2.3.24, Repoman-2.3.6
Tupone Alfredo · gentoo
dev-ada/libadalang: Add ~x86
Package-Manager: Portage-2.3.19, Repoman-2.3.6
Tupone Alfredo · gentoo
dev-ada/libadalang: enabling stylechecks test/cosmethic changes
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ada/libadalang: use dev-ada/langkit
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ada/libadalang: use gnatbind selected by gprbuild
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ada/libadalang: Use dev-python/quex
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ada/libadalang: Adding libadalang to the tree
Package-Manager: Portage-2.3.13, Repoman-2.3.3