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/gprbuild: fix NULL DT_RUNPATHAlfredo Tupone2022-03-193-1/+14
| | | | | | Closes: https://bugs.gentoo.org/834701 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libgpr: rename libraryAlfredo Tupone2022-03-172-1/+75
| | | | | | Closes: https://bugs.gentoo.org/818505 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/ada_language_server: fix depsAlfredo Tupone2022-03-161-1/+1
| | | | | | Closes: https://bugs.gentoo.org/834715 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: adding compatibility with gnat_2020Alfredo Tupone2022-02-272-2/+61
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-db: python3.10Alfredo Tupone2022-02-041-2/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: python3.10Alfredo Tupone2022-02-042-4/+4
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/ada_language_server: ~x86Alfredo Tupone2022-02-031-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/ada_libfswatch: ~x86Alfredo Tupone2022-02-031-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang-tools: ~x86Alfredo Tupone2022-02-031-2/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: ~x86 and python3.10Alfredo Tupone2022-02-031-3/+3
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: ~x86 and python3.10Alfredo Tupone2022-02-031-3/+3
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/e3-testsuite: ~x86 and pep517Alfredo Tupone2022-02-031-4/+5
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/e3-core: ~x86Alfredo Tupone2022-02-031-1/+1
| | | | | | Closes: https://bugs.gentoo.org/827038 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/e3-core: porting to python3.10 and PEP517Alfredo Tupone2022-02-031-3/+8
| | | | | | Closes: https://bugs.gentoo.org/827054 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/spawn: MissingUseDepDefaultAlfredo Tupone2022-02-021-2/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-254-4/+4
| | | | | | Again. :( Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* dev-ada/langkit: remove unused patch(es)Michael Mair-Keimberger2022-01-191-10/+0
| | | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/23467 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* 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>