GNU Mes 0.27 Released: Tools for Self-Sufficient Assembly

Issues of instrumentation published provide an update on GNU Mes 0.27, which offers a bootstraping process for GCC, allowing for a closed reversal cycle from the source texts. This instrumentation addresses the challenge of the verified initial assembly of the compiler in distributions, breaking the cyclic rebuild chain that could compromise integrity.

GNU MES includes a self-sufficient Scheme interpreter, written in SI, and a simple compiler for the SI language (MESCC) written in Scheme. The components work together, enabling the assembly of the MESCC SI compiler, which in turn allows the assembly of the cut version of the compiler tinyCCCCCers, expanding capabilities comparable to GCC assemblies.

The Scheme interpreter is compact, consisting of about 5000 lines of code for the SI language and can be transformed into an executable file using a universal broadcast M2-Planet or the simplest SI compiler, assembled using a self-collected assembler hex0, without external dependencies. This interpreter includes a garbage collector and a library of loaded modules. The project is also working on the MES C-Bibliotek to assemble Glibc 2.2.5, Binutils 2.20.1, and GCC 2.95.3, crucial for the Blave GUIX distribution for various Linux platforms.

The latest update includes support for launching MES alongside GNU Hurd and introduces new modules like RNRS (Little arithmetic) and SRFI (srfi-39). For compatibility with Guile, the SRFI module now loads by default. New functions like Pair-For-Each and With-Fluids* have been added. MESCC compiles now support working with modules for generating parsers and lexical analyzers, versions ranging from 0.99.0 to 1.09.

/Reports, release notes, official announcements.