dev-ada / ada_language_server

an implementation of the Microsoft Language Server Protocol for Ada/SPARK

Official package sites : https://github.com/AdaCore/ada_language_server ·

v24.0.1 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
~amd64 ~x86
USE flags
test

v23.0.10-r3 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
~amd64 ~x86
USE flags
test

General

test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

ada_target

gcc_12
Compile with sys-devel/gcc:12
gcc_13
Compile with sys-devel/gcc:13
gcc_14
Compile with sys-devel/gcc:14
gcc_15
Compile with sys-devel/gcc:15
gnat_2021
Compile with dev-lang/gnat-gpl-2021

dev-ada / VSS : A high level string and text processing library

dev-ada / ada_libfswatch : Ada binding to the libfswatch library

dev-ada / gnatcoll-core : GNAT Component Collection Core packages

dev-ada / gnatdoc : GNAT Documentation Generation Tool

dev-ada / gpr-unit-provider : GPR Unit Provider

dev-ada / lal-refactor : Refactoring tools for the Ada programming language

dev-ada / libadalang : high performance semantic engine for the Ada programming language

dev-ada / libadalang-tools : Libadalang-based tools: gnatpp, gnatmetric and gnatstub

dev-ada / spawn : Simple API to spawn processes

dev-lang / gnat-gpl : GNAT Ada Compiler - GPL version

sys-devel / gcc : The GNU Compiler Collection

sys-fs / fswatch : cross-platform file change monitor with multiple backends

dev-ada / VSS : A high level string and text processing library

dev-ada / ada_libfswatch : Ada binding to the libfswatch library

dev-ada / gnatcoll-core : GNAT Component Collection Core packages

dev-ada / gnatdoc : GNAT Documentation Generation Tool

dev-ada / gpr-unit-provider : GPR Unit Provider

dev-ada / lal-refactor : Refactoring tools for the Ada programming language

dev-ada / libadalang : high performance semantic engine for the Ada programming language

dev-ada / libadalang-tools : Libadalang-based tools: gnatpp, gnatmetric and gnatstub

dev-ada / spawn : Simple API to spawn processes

dev-lang / gnat-gpl : GNAT Ada Compiler - GPL version

sys-devel / gcc : The GNU Compiler Collection

sys-fs / fswatch : cross-platform file change monitor with multiple backends

882451
dev-ada/ada_language_server-22.0.0 does not respect LDFLAGS
945088
dev-ada/ada_language_server-24.0.1 fails to compile: lsp-client_notification_loggers.adb:21:46: error: prefix of WIDE_WIDE_WIDTH attribute must be scalar type
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: VariableOrderWrong
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: add 24.0.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: enable gcc:13
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: drop gcc_12_2_0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: EAPI 8 gcc_12
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: drop 22.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: fswatch has subslot
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: add 23.0.10
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: fix deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: Tests are not working now
Closes: https://bugs.gentoo.org/883091 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: use tc-getCXX to get g++
Closes: https://bugs.gentoo.org/882445 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: drop support for gnat_2020
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: add gcc_12_2_0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: fix deps
Closes: https://bugs.gentoo.org/834715 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: ~x86
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: install a missing library
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ada/ada_language_server: Language Server for Ada/SPARK
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>