dev-ada / asis

To develop tools for Ada software

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

ASIS is a library that gives applications access to the complete syntactic and semantic structure of an Ada compilation unit. This library is typically used by tools that need to perform some sort of static analysis on an Ada program.

v2019 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
~amd64 ~x86

v2018 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
amd64 x86

v2016 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
amd64 x86

General

gnat_2016
Compile with dev-lang/gnat-gpl-2016
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

dev-ada / gnat_util : Provides access to GNAT compiler internals for AdaCore utilities

dev-ada / gnatcoll : GNAT Component Collection

dev-ada / gnatcoll-core : GNAT Component Collection Core packages

dev-ada / gprbuild : Multi-Language Management

dev-ada / gnat_util : Provides access to GNAT compiler internals for AdaCore utilities

dev-ada / gnatcoll : GNAT Component Collection

dev-ada / gnatcoll-core : GNAT Component Collection Core packages

dev-ada / aws : A complete Web development framework

Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/asis: remove an old version
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/asis: 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/asis: enable build with gnat-gpl-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/asis: add gnat_2018 to fix pkgcheck
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/asis: Remove unused and disable gnat_2016 on last version
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/asis: fix dep on gnat_util
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/asis: 2017 version build also with gnatcoll-core
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/asis: 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/asis: Fix build with libgpr-2018
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/asis: alternate depend on dev-ada/gnatcoll
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/asis: use gnatcoll-core
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/asis: Fix build with 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/asis: Fix build with gpr (relocatable)
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/asis: Rename a file conflicting with libadalang-tool
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/asis: Simplify dependency
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/asis: Adapt to gnat-gpl-2018
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/asis: Version bump to dev-ada/asis-2018
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Tupone Alfredo · gentoo
dev-ada/asis: amd64 and x86 stable
Package-Manager: Portage-2.3.24, Repoman-2.3.6
Tupone Alfredo · gentoo
dev-ada/asis: Add ~x86
Package-Manager: Portage-2.3.19, Repoman-2.3.6
Tupone Alfredo · gentoo
dev-ada/asis: Require shared library for both xmlada and gnatcoll
Package-Manager: Portage-2.3.19, Repoman-2.3.6
Tupone Alfredo · gentoo
dev-ada/asis: Defaulting some use flags
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ada/asis: Add version 2017
Package-Manager: Portage-2.3.6, Repoman-2.3.1
Ulrich Müller · gentoo
[QA] Drop $Id$ lines that were added back to ebuild headers.
Bug: 611234
Tupone Alfredo · gentoo
dev-ada/asis: Add dev-ada/asis-2016
Package-Manager: Portage-2.3.3, Repoman-2.3.1