We are happy to announce the release of GNU Mes 0.23.1, representing 22 commits over one year by four people.
Mes was ported to ARM and can now be used in the GNU Guix Reduced Binary Seed bootstrap as described here
Guix Further Reduces Bootstrap Seed to 25%
and now also for armhf-linux and aarch-linux. Work to integrate this into Guix is ongoing: bootstrappable-tinycc and gcc-core-2.95.3 have been built.
We are excited that the Nlnet Foundation is sponsoring this work!
Enjoy, Janneke and Danny.
About
GNU Mes is a Scheme interpreter and C compiler for bootstrapping the GNU System. Since version 0.22 it has again helped to halve the size of opaque, uninspectable binary seeds that are currently being used in the Reduced Binary Seed bootstrap of GNU Guix . The final goal is to help create a full source bootstrap as part of the bootstrappable builds effort for UNIX-like operating systems.
The Scheme interpreter is written in ~5,000 LOC of simple C, and the C compiler written in Scheme and these are mutual self-hosting. This mes.c is now being simplified to be transpiled by M2-Planet.
Mes has a Garbage Collector, a library of loadable Scheme modules-- notably Dominique Boucher's LALR, pre-R6RS portable syntax-case with R7RS ellipsis, Matt Wette's Nyacc –and test suite, just --and test suite, just enough to support a REPL and a C99 compiler: mescc.
Mes + MesCC + Mes C Library can build a bootstrappable TinyCC that is self-hosting. Using this tcc and the Mes C library we now have a Reduced Binary Seed bootstrap for the gnutools triplet: glibc-2.2.5, binutils-2.20.1, gcc-2.95.3. This is enough to bootstrap Guix for i686-linux, x86_64-linux, armhf-linux and aarch64-linux.
Mes is inspired by The Maxwell Equations of Software: LISP-1.5 LISP-1.5 – -- John McCarthy page 13, GNU Guix's source/binary packaging transparency and Jeremiah Orians's stage0 ~500 byte self-hosting hex assembler.
We are very grateful to NLNet for sponsoring the Reduced Binary Seed bootstrap and the ARM port .
Download
git clone git://git.savannah.gnu.org/mes.git
Here are the compressed sources and a GPG detached signature[*]:
ftp.gnu.org/gnu/mes/mes-0.23.1.tar.gz
ftp.gnu.org/gnu/mes/mes-0.23.1.tar.gz.sig
Use a mirror for higher download bandwidth:
ftpmirror.gnu.org/mes/mes-0.23.1.tar.gz
ftpmirror.gnu.org/mes/mes-0.23.1.tar.gz.sig
Here are the MD5 and SHA1 checksums:
16b5bdf1c1ec0b743652f769b7bed772 mes-0.23.1.tar.gz
a73b69e903eaab94c680d50436b51366e770130c mes-0.23.1.tar.gz[*] Use a .sig file to verify that the corresponding file (without the .sig suffix) is intact. First, be sure to download both the .sig file and the corresponding tarball. Then, run a command like this:
gpg --verify mes-0.23.1.tar.gz.sigIf that command fails because you don't have the required public key, then run this command to import it:
gpg --keyserver keys.gnupg.net --recv-keys 1A858392E331EAFDB8C27FFBF3C1A0D9C1D65273and rerun the 'gpg --verify' command.
Get informed, get involved
See bootstrappable.org
Join #bootstrappable on irc.freenode.net.
Changes in 0.23.1 since 0.23
- Build: Move to libera.chat.
Core
- Mes and Mes C Library can now support ARM bootstrap.
MesCC
- MesCC now supports ARM bootstrap.
Noteworthy bug fixes
Stack frame 0 does not perform out of bounds access.
MesCC's -m64 works again.
Guile-2 support has been resurrected.
logand has been fixed.
Mes C Library now supports more than 255 command line parameters.