Summary
Langkit (nickname for language kit) is a tool whose purpose is to make it easy to create syntactic and semantic analysis engines. Write a language specification in our Python DSL and Langkit will generate for you an Ada library with bindings for the C and Python programming languages. The generated library is meant to provide a basis to write tooling, including tools working on potentially changing and incorrect code, such as IDEs.
Versions
v25.0.0-r5 :: 0/25.0.0 :: gentoo
- Modified
- License
- Apache-2.0
- Keywords
- amd64 x86 ~arm64
- USE flags
- doc static-libs static-pic
v24.0.0-r2 :: 0/24.0.0 :: gentoo
- Modified
- License
- Apache-2.0
- Keywords
- amd64 x86 ~arm64
- USE flags
- shared static-libs static-pic
USE flags
General
- doc
- Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- shared
- Build shared library
- static-libs
- Build static versions of dynamic libraries as well
- static-pic
- Build static library with pic code
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
- gcc_16
- Compile with sys-devel/gcc:16
python_targets
- python3_11
- Build with Python 3.11
- python3_12
- Build with Python 3.12
- python3_13
- Build with Python 3.13
Runtime Dependencies
dev-ada / AdaSAT : Implementation of a DPLL-based SAT solver in Ada
dev-ada / e3-core : Ease the development of portable automated build systems
dev-ada / gnatcoll-bindings : GNAT Component Collection
dev-ada / gnatcoll-core : GNAT Component Collection Core packages
dev-ada / prettier-ada : Port of the Prettier formatter to the Ada programming language
dev-lang / python : An interpreted, interactive, object-oriented programming language
dev-python / docutils : Python Documentation Utilities (reference reStructuredText impl.)
dev-python / funcy : A collection of fancy functional tools focused on practicality
dev-python / mako : A Python templating language
dev-python / mypy : Optional static typing for Python
dev-python / pyyaml : YAML parser and emitter for Python
dev-python / types-docutils : Typing stubs for docutils
dev-python / types-gdb : Typing stubs for gdb
Depending packages
dev-ada / ada_language_server : a Language Server Protocol for Ada/SPARK
dev-ada / aws : A complete Web development framework
dev-ada / langkit-contrib : A Python framework to generate language parsers - Contrib
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: support gcc:16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: support gcc:15
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: fix for python3.13 is needed by rdepend
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: pipes was removed in python3.13
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ada/langkit: Stabilize 25.0.0-r3 amd64, #951069
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ada/langkit: Stabilize 25.0.0-r3 x86, #951069
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: fix AdaSAT deps
Bug: https://bugs.gentoo.org/949820 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: install adasat source too
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: rm dead code
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: add doc
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: add 25.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: keyword 24.0.0-r2 for ~arm64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: add gcc_14
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Alfredo Tupone · gentoo
dev-ada/langkit: drop 23.0.0-r3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ada/langkit: Stabilize 24.0.0 x86, #944314
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ada/langkit: Stabilize 24.0.0 amd64, #944314
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: add 24.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: DistutilsNonPEP517Build
Closes: https://bugs.gentoo.org/909904 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: support gcc_13
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: 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/langkit: drop 22.0.0-r3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: update EAPI 7 -> 8
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
dev-ada/langkit: Remove Python < 3.10
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: install liblangkit_sigsegv_handler.so
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: add 23.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: drop gnat_2020 support
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: fix deprecated collections.Sequence
Closes: https://bugs.gentoo.org/873787 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: 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/langkit: ~x86 and python3.10
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/langkit: add ada dependency
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/langkit: fix failing test
Closes: https://bugs.gentoo.org/829655 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/langkit: build something
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/langkit: add USE static-libs & static-pic
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/langkit: LIBRARY_TYPE is now handled in gnatcoll-bindings
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/langkit: add tests
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/langkit: A Python framework to generate language parsers
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 - Michał Górny · gentoo
dev-ada/langkit: Remove last-rited pkg
Closes: https://bugs.gentoo.org/708338 Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ada/langkit: add -lgnarl & -lgnat for incoming gprbuild
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/langkit: fix usage of pyyaml
Closes: https://bugs.gentoo.org/713340 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/langkit: fix MissingTestRestrict
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/langkit: Remove old version
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/langkit: stable
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/langkit: fix dependency and try to respect -j1
Bug: https://bugs.gentoo.org/677816 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11 - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/langkit: more log for test phase
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11 - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/langkit: assign to ada@gentoo.org
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11 - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/langkit: bump to 2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11 - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/langkit: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/langkit: work with gnat_2016 too
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/langkit: Add 2018 version
Package-Manager: Portage-2.3.40, Repoman-2.3.9 - Tupone Alfredo · gentoo
dev-ada/langkit: amd64 and x86 stable
Package-Manager: Portage-2.3.24, Repoman-2.3.6 - Tupone Alfredo · gentoo
dev-ada/langkit: Add ~x86
Package-Manager: Portage-2.3.19, Repoman-2.3.6 - Tupone Alfredo · gentoo
dev-ada/langkit: Needs dev-ada/gnatcoll built with shared library
Package-Manager: Portage-2.3.13, Repoman-2.3.3 - Tupone Alfredo · gentoo
dev-ada/langkit: Add dev-ada/langkit
Package-Manager: Portage-2.3.13, Repoman-2.3.3