Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ada
Commit message (Collapse)AuthorAgeFilesLines
* dev-ada/gps-bin: Maintainer ada@gentoo.orgTupone Alfredo2018-12-191-3/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gps: Explicity call python pkg_setupTupone Alfredo2018-12-171-0/+1
| | | | | | Closes: https://bugs.gentoo.org/673264 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/asis: add gnat_2018 to fix pkgcheckTupone Alfredo2018-12-021-2/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/asis: Remove unused and disable gnat_2016 on last versionTupone Alfredo2018-12-013-56/+7
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gps: fix dependencyTupone Alfredo2018-11-301-2/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gprbuild: add -no-pieTupone Alfredo2018-11-302-9/+11
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/asis: fix dep on gnat_utilTupone Alfredo2018-11-291-1/+1
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gps: Fix dependencyTupone Alfredo2018-11-291-1/+1
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gps: StableTupone Alfredo2018-11-292-57/+39
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll-db: stableTupone Alfredo2018-11-281-1/+1
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/asis: 2017 version build also with gnatcoll-coreTupone Alfredo2018-11-271-1/+4
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/aws: stableTupone Alfredo2018-11-271-1/+1
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/asis: StableTupone Alfredo2018-11-271-4/+11
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnat_util: StableTupone Alfredo2018-11-271-5/+4
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/asis: Fix build with libgpr-2018Tupone Alfredo2018-11-271-8/+10
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/asis: alternate depend on dev-ada/gnatcollTupone Alfredo2018-11-271-1/+4
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/libadalang: fix dependencyTupone Alfredo2018-11-271-1/+1
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll: blocks dev-ada/gnatcoll-*Tupone Alfredo2018-11-272-1/+7
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/libadalang: Fix testTupone Alfredo2018-11-261-1/+5
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gprbuild: Fix build with -Wl,-rTupone Alfredo2018-11-262-2/+8
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/libadalang: StableTupone Alfredo2018-11-262-50/+1
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gps: StableTupone Alfredo2018-11-241-3/+3
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/libadalang: StableTupone Alfredo2018-11-221-9/+4
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/langkit: StableTupone Alfredo2018-11-222-6/+52
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gprbuild: Fix linker fileTupone Alfredo2018-11-211-8/+17
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/asis: use gnatcoll-coreTupone Alfredo2018-11-201-7/+5
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll-db: StabilizeTupone Alfredo2018-11-202-15/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll-bindings: StabilizeTupone Alfredo2018-11-202-43/+6
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll-core: StabilizeTupone Alfredo2018-11-202-16/+6
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnat_util: Remove old versionTupone Alfredo2018-11-185-179/+7
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/libgpr: fix dependency on gprbuilTupone Alfredo2018-11-181-1/+1
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/libgpr: remove oldTupone Alfredo2018-11-183-148/+0
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll: require dev-ada/libgpr-2018Tupone Alfredo2018-11-182-1/+63
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gps: make it works with dev-ada/libgrp-2018Tupone Alfredo2018-11-181-0/+1
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gps: It works for gnat_2016 nowTupone Alfredo2018-11-171-2/+6
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll: Enable build with gnat_2016 & remove oldTupone Alfredo2018-11-175-577/+49
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gps: Only for gnat 2017Tupone Alfredo2018-11-172-2/+10
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll: Fix build with new libgprTupone Alfredo2018-11-142-1/+80
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/asis: Fix build with new libgprTupone Alfredo2018-11-141-0/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/langkit: Fx build with new libgprTupone Alfredo2018-11-141-3/+16
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/libadalang: Fix test for new libgprTupone Alfredo2018-11-142-0/+71
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/libgpr: Remove old versionTupone Alfredo2018-11-132-49/+0
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll: require a more recent libgprTupone Alfredo2018-11-132-10/+12
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/libadalang: Verbose, remove GCC hackTupone Alfredo2018-11-122-16/+3
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/langkit: work with gnat_2016 tooTupone Alfredo2018-11-111-2/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/langkit: remove hack for gccTupone Alfredo2018-11-111-31/+7
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll: compatibility with gprbuild-2017Tupone Alfredo2018-11-112-35/+103
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gtkada: Stabilize 2018 versionTupone Alfredo2018-11-103-18/+5
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatsymbolize: StabilizeTupone Alfredo2018-11-101-2/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatmem: stabilizeTupone Alfredo2018-11-101-1/+1
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11