Summary
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.
Versions
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
USE flags
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
Dependencies
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
Runtime Dependencies
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
Depending packages
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
Bugs
- 882453
- dev-ada/libadalang-23.0.0-r2 does not respect LDFLAGS
Change logs
- 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