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.

v22.0.0 :: 0/22.0.0 :: gentoo

Modified
License
GPL-3 gcc-runtime-library-exception-3.1
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_2_0
Compile with sys-devel/gcc-12.2.0
gnat_2021
Compile with dev-lang/gnat-gpl-2021

python_single_target

python3_10
Build for Python 3.10 only
python3_8
Build for Python 3.8 only
python3_9
Build for Python 3.9 only

dev-ada / gnatcoll-bindings : GNAT Component Collection

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 : An interpreted, interactive, object-oriented 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 / langkit : A Python framework to generate language parsers

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

dev-lang / python : An interpreted, interactive, object-oriented 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 / libadalang-tools : Libadalang-based tools: gnatpp, gnatmetric and gnatstub

882453
dev-ada/libadalang-22.0.0 does not respect LDFLAGS
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