libadalang
Port variant standard
Summary High-performance semantic engine for Ada
Package version 23.0.0_3,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 01 NOV 2023, 15:23:41 UTC
Port created 17 JUL 2017, 16:13:54 UTC
Subpackage Descriptions
complete This is the libadalang-standard metapackage. It pulls in all subpackages of libadalang-standard.
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-standard 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 OFF Build with debugging support
Package Dependencies by Type
Build (only) langkit_support:dev:standard
libgpr2:dev:standard
libiconv:dev:standard
gprbuild:primary:standard
python312:dev:standard
python312:primary:standard
python-setuptools:single:v12
autoselect-python:single:standard
Build and Runtime langkit:single:standard
libgpr2:primary:standard
gnatcoll-bindings:gmp:standard
Runtime (only) libadalang:primary:standard (tools subpackage)
ravensys-gcc:ada_run:standard (primary subpackage)
libgpr2:dev:standard (dev subpackage)
langkit_support:dev:standard (dev subpackage)
Download groups
main mirror://GITHUB/AdaCore:libadalang:a7a7369
Distribution File Information
c70c6fef65dedda4112be3918cadaacdd588b5cd538192e8f0e3023bbf65f582 2751479 AdaCore-libadalang-a7a7369.tar.gz
Ports that require libadalang:standard
ada_language_server:standard Microsoft Language Server Protocol for Ada
gnatstudio:standard Multilanguage IDE for Ada, SPARK, C/C++, and more
gpr-unit-provider:standard Unit provider for Libadalang
gpr2tools:standard Tools based on GPR2 library
lal-refactor:standard Collection of Ada source code refactoring tools
libadalang-tools:standard Development tools based on libadalang