dev-ada / langkit

A Python framework to generate language parsers

Official package sites : https://www.adacore.com/community ·

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.

v24.0.0 :: 0/24.0.0 :: gentoo

Modified
License
Apache-2.0
Keywords
~amd64 ~x86
USE flags
shared static-libs static-pic

v23.0.0-r3 :: 0/23.0.0 :: gentoo

Modified
License
Apache-2.0
Keywords
~amd64 ~x86
USE flags
shared static-libs static-pic

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
gcc_13
Compile with sys-devel/gcc:13
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
python3_12
Build with Python 3.12

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-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

sys-devel / gcc : The GNU Compiler Collection

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

897764
dev-ada/langkit-23.0.0-r1 fails tests: printers.py:42: error: Item "None" of "Optional[List[SubPrettyPrinter]]" has no attribute "append" [union-attr]
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