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.

v2019-r1 :: 0 :: gentoo

Modified
License
GPL-3 gcc-runtime-library-exception-3.1
Keywords
~amd64 ~x86
USE flags
shared static-libs

v2019 :: 0 :: gentoo

Modified
License
GPL-3 gcc-runtime-library-exception-3.1
Keywords
~amd64 ~x86
USE flags
shared static-libs

v2018-r2 :: 0 :: gentoo

Modified
License
GPL-3 gcc-runtime-library-exception-3.1
Keywords
~amd64 ~x86
USE flags
shared static-libs

v2018-r1 :: 0 :: gentoo

Modified
License
GPL-3 gcc-runtime-library-exception-3.1
Keywords
~amd64 ~x86
USE flags
shared static-libs

v2018 :: 0 :: gentoo

Modified
License
GPL-3 gcc-runtime-library-exception-3.1
Keywords
amd64 x86
USE flags
shared static-libs

v2017-r2 :: 0 :: gentoo

Modified
License
GPL-3 gcc-runtime-library-exception-3.1
Keywords
~amd64 ~x86

v2017-r1 :: 0 :: gentoo

Modified
License
GPL-3 gcc-runtime-library-exception-3.1
Keywords
amd64 x86

General

gnat_2016
Compile with dev-lang/gnat-gpl-2016
gnat_2017
Compile with dev-lang/gnat-gpl-2017
gnat_2017
Compile with dev-lang/gnat-gpl-2017
gnat_2018
Compile with dev-lang/gnat-gpl-2018
gnat_2018
Compile with dev-lang/gnat-gpl-2018
gnat_2019
Compile with dev-lang/gnat-gpl-2019
gnat_2019
Compile with dev-lang/gnat-gpl-2019
shared
Build shared library
static-libs
Build static versions of dynamic libraries as well

ada_target

gnat_2016
Compile with dev-lang/gnat-gpl-2016
gnat_2016
Compile with dev-lang/gnat-gpl-2016
gnat_2017
Compile with dev-lang/gnat-gpl-2017
gnat_2017
Compile with dev-lang/gnat-gpl-2017
gnat_2018
Compile with dev-lang/gnat-gpl-2018
gnat_2018
Compile with dev-lang/gnat-gpl-2018
gnat_2019
Compile with dev-lang/gnat-gpl-2019
gnat_2019
Compile with dev-lang/gnat-gpl-2019

python_targets

python2_7
Build with Python 2.7

dev-ada / gnatcoll : GNAT Component Collection

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-lang / python-exec : Python script wrapper

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

dev-ada / gnatcoll : GNAT Component Collection

dev-ada / gnatcoll-bindings : GNAT Component Collection

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

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-lang / python-exec : Python script wrapper

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

dev-ada / gps : The GNAT Programming Studio

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

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