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
v23.0.0-r1 :: 0/23.0.0 :: gentoo
- Modified
- License
- Apache-2.0
- Keywords
- ~amd64 ~x86
- USE flags
- shared static-libs static-pic
USE flags
General
- 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
- gnat_2021
- Compile with dev-lang/gnat-gpl-2021
python_targets
- python3_10
- Build with Python 3.10
- python3_11
- Build with Python 3.11
Runtime Dependencies
dev-ada / e3-core : Ease the development of portable automated build systems
dev-ada / gnatcoll-bindings : GNAT Component Collection
dev-lang / gnat-gpl : GNAT Ada Compiler - GPL version
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 / aws : A complete Web development framework
dev-ada / gnatdoc : GNAT Documentation Generation Tool
dev-ada / libadalang : high performance semantic engine for the Ada programming language
Bugs
Change logs
- 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