| Port variant | std |
| Summary | High-performance semantic engine for Ada |
| Package version | 26.0.0,1 |
| Homepage | https://github.com/AdaCore/libadalang |
| Keywords | lang, devel |
| Maintainer | John Marino |
| License | APACHE20 |
| Other variants | There are no other variants. |
| Ravenports | Buildsheet | History |
| Ravensource | Port Directory | History |
| Last modified | 21 JAN 2026, 17:47:13 UTC |
| Port created | 17 JUL 2017, 16:13:54 UTC |
| set | This is the libadalang:std metapackage. It pulls in all subpackages of libadalang:std. |
| primary | Libadalang is a project to build a high performance semantic engine for the Ada programming language. It is meant to provide a basis to write Ada tooling, including tools working on potentially changing and incorrect code, such as IDEs. Its goals encompass, but are not limited to: * Full support for parsing the Ada 2012 syntax, plus SPARK extensions. * Error tolerant parsing: the parser must be able to recover from simple errors and provide a "best-guess" tree. * Error tolerant semantic analysis: it must be possible to create a tool that works only on syntax, and completely ignores semantic issues. * Full symbol resolution respecting Ada 2012 - and prior - semantics. * Bindings to a variety of languages, including Ada, C, Python and Java, so that tools can be written from various ecosystems. * Incremental processing of source files. |
| dev | This is the developer subpackage of the libadalang:std port. It may contain headers, pc files, static and PIC libraries and SO links. |
| tools | This package contains tools based on the Ada language library. |
| examples | This is the examples subpackage of the libadalang:std port. |
| main | mirror://GITHUB/AdaCore:libadalang:v26.0.0 |
| ada_language_server:std | Microsoft Language Server Protocol for Ada |
| gnatdoc:std | GNAT Documentation Generation Tool |
| gnatformat:std | Ada code formatter based on Prettier-Ada library |
| gnatstudio:std | Multilanguage IDE for Ada, SPARK, C/C++, and more |
| gpr2tools:std | Tools based on GPR2 library |
| lal-refactor:std | Collection of Ada source code refactoring tools |
| libadalang-tools:std | Development tools based on libadalang |