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/ada_libfswatch: fix SAlfredo Tupone2022-01-022-3/+3
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/ada_language_server: install a missing libraryAlfredo Tupone2022-01-021-1/+7
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/ada_language_server: Language Server for Ada/SPARKAlfredo Tupone2021-12-313-0/+67
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/ada_libfswatch: fix ObsoleteUriAlfredo Tupone2021-12-302-4/+7
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/ada_libfswatch: ada binding to libfswatchAlfredo Tupone2021-12-304-0/+72
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang-tools: respect ADAFLAGSAlfredo Tupone2021-12-281-2/+4
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang-tools: install libraries, tooAlfredo Tupone2021-12-283-35/+71
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/VSS: fix testAlfredo Tupone2021-12-281-2/+16
| | | | | | Closes: https://bugs.gentoo.org/830125 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang-tools: only gnat_2021Alfredo Tupone2021-12-271-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/VSS: A high level string and text processing libraryAlfredo Tupone2021-12-273-0/+33
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/spawn: fix dependencyAlfredo Tupone2021-12-271-1/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gtkada: drop uninstall phaseAlfredo Tupone2021-12-273-0/+15
| | | | | | Closes: https://bugs.gentoo.org/830017 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/spawn: simple API to spawn processesAlfredo Tupone2021-12-263-0/+127
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gtkada: add static-pic generationAlfredo Tupone2021-12-262-3/+7
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: use LDFLAGSAlfredo Tupone2021-12-241-1/+2
| | | | | | Closes: https://bugs.gentoo.org/829869 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: build examplesAlfredo Tupone2021-12-242-11/+22
| | | | | | | 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>
* dev-ada/libadalang: respect MAKEOPTSAlfredo Tupone2021-12-231-1/+2
| | | | | | Closes: https://bugs.gentoo.org/829758 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-db: build somethingAlfredo Tupone2021-12-231-0/+2
| | | | | | Closes: https://bugs.gentoo.org/829817 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: more verbose during testAlfredo Tupone2021-12-231-1/+1
| | | | | | Closes: https://bugs.gentoo.org/829864 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: fix installAlfredo Tupone2021-12-231-0/+1
| | | | | | Closes: https://bugs.gentoo.org/829848 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: fix test dependencyAlfredo Tupone2021-12-231-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: use AR or NM env insteadAlfredo Tupone2021-12-235-18/+10
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: use chost-arAlfredo Tupone2021-12-224-0/+24
| | | | | | | Closes: https://bugs.gentoo.org/829701 Closes: https://bugs.gentoo.org/736036 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: fix building with gnat-gpl-2020Alfredo Tupone2021-12-221-1/+3
| | | | | | Closes: https://bugs.gentoo.org/829757 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: add ada dependencyAlfredo Tupone2021-12-221-2/+5
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libgpr: does not work with gnat-gpl-2020Alfredo Tupone2021-12-221-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: use ${CHOST}-nmAlfredo Tupone2021-12-214-1/+106
| | | | | | Closes: https://bugs.gentoo.org/829656 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: fix DEPAlfredo Tupone2021-12-211-4/+4
| | | | | | Closes: https://bugs.gentoo.org/829654 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: fix failing testAlfredo Tupone2021-12-201-1/+2
| | | | | | Closes: https://bugs.gentoo.org/829655 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gtkada: add the installAlfredo Tupone2021-12-202-3/+6
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/xmlada: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
| | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ada/libgpr: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
| | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ada/gtkada: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
| | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ada/gprbuild: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
| | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ada/gnatsymbolize: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
| | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ada/gnatmem: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
| | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ada/gnatcoll-core: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
| | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ada/gnatcoll-bindings: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
| | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ada/aws: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
| | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ada/aunit: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
| | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ada/gnatcoll-core: build somethingAlfredo Tupone2021-12-191-2/+2
| | | | | | Closes: https://bugs.gentoo.org/829631 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang-tools: rebuild if slot changedAlfredo Tupone2021-12-191-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: build somethingAlfredo Tupone2021-12-192-70/+3
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: use subslotAlfredo Tupone2021-12-191-3/+4
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: build somethingAlfredo Tupone2021-12-191-3/+4
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-core: build somethingAlfredo Tupone2021-12-191-5/+5
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: using trampolineAlfredo Tupone2021-12-192-0/+4
| | | | | | Closes: https://bugs.gentoo.org/763108 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: fix rm when asked to build nothingAlfredo Tupone2021-12-182-2/+2
| | | | | | Closes: https://bugs.gentoo.org/829575 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: fix with USE=-pythonAlfredo Tupone2021-12-182-5/+5
| | | | | | Closes: https://bugs.gentoo.org/735730 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang-tools: Libadalang-based development tools for AdaAlfredo Tupone2021-12-173-0/+43
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>