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 ·

v22.0.0 :: 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_2_0
Compile with sys-devel/gcc-12.2.0
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 / 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

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 / 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

882451
dev-ada/ada_language_server-22.0.0 does not respect LDFLAGS
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>