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/e3-testsuite: rm pth filesAlfredo Tupone2022-11-131-0/+5
| | | | | Closes: https://bugs.gentoo.org/876845 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/e3-core: do not install *pth filesAlfredo Tupone2022-10-111-0/+5
| | | | | | Closes: https://bugs.gentoo.org/876364 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: fix buildAlfredo Tupone2022-10-081-2/+2
| | | | | | Closes: https://bugs.gentoo.org/832668 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatsymbolize: respect LDFLAGSAlfredo Tupone2022-10-071-1/+1
| | | | | | Closes: https://bugs.gentoo.org/735706 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatsymbolize: add gcc_12_2_0Alfredo Tupone2022-10-061-0/+33
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatmem: add gcc_12_2_0Alfredo Tupone2022-10-061-0/+50
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-db: add gcc_12_2_0Alfredo Tupone2022-10-061-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/aunit: add gcc_12_2_0Alfredo Tupone2022-10-052-3/+34
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/ada_language_server: add gcc_12_2_0Alfredo Tupone2022-10-041-1/+7
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gtkada: add gcc_12_2_0Alfredo Tupone2022-10-041-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang-tools: add gcc_12_2_0Alfredo Tupone2022-10-031-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/ada_libfswatch: add gcc_12_2_0Alfredo Tupone2022-10-031-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: fix deprecated collections.SequenceAlfredo Tupone2022-10-022-0/+26
| | | | | | Closes: https://bugs.gentoo.org/873787 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: avoid dev-lang/ocaml-4.14 - test are failingAlfredo Tupone2022-10-021-0/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* 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>