RecordFlux Parser

This is the parser for the RecordFlux language which is based on Langkit.

Development

As a prerequisite to build the parser, the following dependencies need to be installed:

• GNAT Community Edition >= 2020
• GNU MP Arithmetic Library This is provided as a package for various distributions e.g. libgmp-dev (Debian/Ubuntu), gmp-devel (Fedora) or gmp (Arch Linux).

Note: GNAT must be added to the PATH environment variable after installation: export PATH=<GNAT-directory>/bin:$PATH.

To run the tests, the RecordFlux language package and its dependencies must also be installed. Either use the respective make target:

$ make install_parser

or install the development version manually using pip:

$ pip3 install ".[devel]"

Note: Develop mode of setuptools (pip -e) is unsupported. The parser must be reinstalled before changes to the code take effect.

The tests can then be executed using:

$ make test