libadalang
Port variant std
Summary High-performance semantic engine for Ada
BROKEN
Package version 25.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 30 NOV 2024, 13:18:48 UTC
Port created 17 JUL 2017, 16:13:54 UTC
Subpackage Descriptions
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.
Configuration Switches (platform-specific settings discarded)
DEBUG ON Build with debugging support
Package Dependencies by Type
Build (only) langkit_support:dev:std
libgpr2:dev:std
prettier-ada:dev:std
libiconv:dev:std
gprbuild:primary:std
python312:dev:std
python312:primary:std
python-setuptools:single:v12
autoselect-python:single:std
Build and Runtime langkit_support:primary:std
langkit_support:modules:std
libgpr2:primary:std
gnatcoll-bindings:gmp:std
prettier-ada:primary:std
Runtime (only) libadalang:primary:std (tools subpackage)
ravensys-gcc:ada_run:std (primary subpackage)
ravensys-gcc:libs:std (primary subpackage)
libgpr2:dev:std (dev subpackage)
langkit_support:dev:std (dev subpackage)
prettier-ada:dev:std (dev subpackage)
Download groups
main mirror://GITHUB/AdaCore:libadalang:v25.0.0
Distribution File Information
98b4f5ade46c51aa68e4c4eff28db7e36019e98be4bf88eebd728f0ba2d54c0d 3056796 AdaCore-libadalang-25.0.0.tar.gz
Ports that require libadalang:std
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