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/libadalang: disable py3.7 and add gcc_12_2_0Alfredo Tupone2022-09-301-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: add gcc_12_2_0Alfredo Tupone2022-09-291-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/VSS: add gcc_12_2_0Alfredo Tupone2022-09-281-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/spawn: enable gcc_12_2_0Alfredo Tupone2022-09-271-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: disable py3.7, enable gcc_12_2_0Alfredo Tupone2022-09-261-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-core: build with gcc-12.2.0Alfredo Tupone2022-09-201-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libgpr: add gcc-12.2.0 for buildAlfredo Tupone2022-09-192-6/+4
| | | | | | Closes: https://bugs.gentoo.org/818505 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/xmlada: remove installation of test built thingsAlfredo Tupone2022-09-172-2/+109
| | | | | | | | Closes: https://bugs.gentoo.org/866275 Closes: https://bugs.gentoo.org/870586 Closes: https://bugs.gentoo.org/870589 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/xmlada: enable gcc-12.2.0Alfredo Tupone2022-09-161-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: add gcc_12_2_0 handlingAlfredo Tupone2022-09-162-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/e3-core: Remove redundant -p no:markdownMichał Górny2022-09-071-4/+0
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/27131 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* 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>