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/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
* dev-ada/gnatmem: stabilize and remove oldTupone Alfredo2018-11-104-61/+10
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/aunit: stabilize and remove oldTupone Alfredo2018-11-103-45/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/aws: remove GCC hackTupone Alfredo2018-11-103-30/+12
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/asis: Fix build with gpr (relocatable)Tupone Alfredo2018-11-102-8/+10
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll: verbose compileTupone Alfredo2018-11-101-21/+21
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gnatcoll: remove hack on GCC for 2016 versTupone Alfredo2018-11-102-194/+7
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/libgpr: Stabilize 2018 versionTupone Alfredo2018-11-095-84/+7
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/xmlada: Stabilize and remove oldTupone Alfredo2018-11-074-95/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gprbuild: Stabilize and remove oldTupone Alfredo2018-11-074-168/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gps: Fix dependnecy stringTupone Alfredo2018-11-011-4/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/gnatcoll-db: Fix GLEP73BackAlterationTupone Alfredo2018-10-311-3/+3
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/gps: Works only with gnat-gpl-2018Tupone Alfredo2018-10-311-10/+7
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/gprbuild: Fix configuration for 2017 version tooTupone Alfredo2018-10-272-0/+202
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/gprbuild: Fix gnatbind pathTupone Alfredo2018-10-192-0/+10
| | | | | | Closes: https://bugs.gentoo.org/668964 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/gprbuild: bump to 2018-r2 trying to fix C buildsTupone Alfredo2018-10-173-100/+178
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/libgpr: No need to select gcc compiler nowTupone Alfredo2018-10-152-11/+58
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/gprbuild: remove old version (dev-ada/gprbuild-2018)Tupone Alfredo2018-10-151-88/+0
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/libadalang: No need to rewrite C driverTupone Alfredo2018-10-141-10/+0
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/langkit: Remove c driver from templateTupone Alfredo2018-10-141-10/+0
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/gprbuild: C files compiled only with gnat provided compilerTupone Alfredo2018-10-142-0/+182
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/xmlada: Remove duplicated fileTupone Alfredo2018-10-132-32/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/gprbuild: Remove duplicate fileTupone Alfredo2018-10-122-87/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/gnatcoll-bindings: use as C compiler the one shipped with gnatTupone Alfredo2018-10-101-0/+21
| | | | | | Closes: https://bugs.gentoo.org/668136 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* dev-ada/libadalang-tools: require static libadalangTupone Alfredo2018-08-171-1/+1
| | | | | | Closes http://bugs.gentoo.org/663788 Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-ada/libgpr: block net-libs/grpcTupone Alfredo2018-08-041-1/+2
| | | | | Closes: https://bugs.gentoo.org/662770 Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-ada/gnatcoll-db: fix install when there is no libraryTupone Alfredo2018-08-031-1/+1
| | | | | Closes: https://bugs.gentoo.org/662728 Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-ada/gps: respect ADAFLAGS/CFLAGSTupone Alfredo2018-07-262-16/+46
| | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-ada/gnatmem: for C use the related gcc compilerTupone Alfredo2018-07-211-1/+8
| | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-ada/aws: use ADAFLAGS for all ada filesTupone Alfredo2018-07-191-2/+1
| | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9