From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Jan Nieuwenhuizen Newsgroups: gmane.comp.gnu.guix.devel,gmane.lisp.guile.user Subject: GNU Mes 0.18 released Date: Sun, 07 Oct 2018 17:18:54 +0200 Message-ID: <87in2ddbtt.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Trace: blaine.gmane.org 1538925460 26819 195.159.176.226 (7 Oct 2018 15:17:40 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 7 Oct 2018 15:17:40 +0000 (UTC) Cc: guix-devel@gnu.org, rb-general@lists.reproducible-builds.org, guile-user@gnu.org, bootstrappable@freelists.org To: info-gnu@gnu.org Original-X-From: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sun Oct 07 17:17:36 2018 Return-path: Envelope-to: gcggd-guix-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1g9AoJ-0006rf-8F for gcggd-guix-devel@m.gmane.org; Sun, 07 Oct 2018 17:17:35 +0200 Original-Received: from localhost ([::1]:42689 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1g9AqP-0007ny-Pe for gcggd-guix-devel@m.gmane.org; Sun, 07 Oct 2018 11:19:45 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:56476) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1g9Apw-0007mk-Ah for guix-devel@gnu.org; Sun, 07 Oct 2018 11:19:17 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1g9Apt-0005mt-F9 for guix-devel@gnu.org; Sun, 07 Oct 2018 11:19:16 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:42347) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1g9Apf-0005Ot-Eb; Sun, 07 Oct 2018 11:18:59 -0400 Original-Received: from [2001:980:1b4f:1:42d2:832d:bb59:862] (port=38948 helo=dundal.peder.onsbrabantnet.nl) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1g9Ape-0000g5-UD; Sun, 07 Oct 2018 11:18:59 -0400 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Original-Sender: "Guix-devel" Xref: news.gmane.org gmane.comp.gnu.guix.devel:44232 gmane.lisp.guile.user:14914 Archived-At: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable We are pleased to announce the release of GNU Mes 0.18, representing 83 commits over 8 weeks. Mes is now bringing a Reduced Binary Seed bootstrap to GuixSD; the size of bootstrap binaries has been halved and no regular toolchain binaries are used as binary seeds (i686-linux and x86_64-linux only). MesCC has been refactored to use an abstracted assembly language and can now (cross-)build x86_64 binaries. Next targets: - reduce the 1MB ASCII M1 seed to ~5000 LOC/~100KB of M2 source - revive Gash/Geesh and use it to decimate the remaining bootstrap binary seeds - and/or otherwise reduce the bootstrap binaries - ARM, the Hurd? Packages are available from Guix's core-updates-next branch. * About GNU Mes[0] brings a Reduced Binary Seed bootstrap[1] to GuixSD[2] and potentially to any other interested GNU/Linux distribution, and aims to help create a full source bootstrap as part of the bootstrappable builds[3] effort. It consists of a mutual self-hosting Scheme interpreter written in ~5,000 LOC of simple C and a Nyacc-based C compiler written in Scheme. This mes.c is being simplified[4] to be transpiled by M2-Planet[5]. The Scheme interpreter (mes.c) has a Garbage Collector, a library of loadable Scheme modules-- notably Dominique Boucher's LALR[6], Pre-R6RS [portable syntax-case[7] with R7RS ellipsis, Matt Wette's Nyacc[8] --and = test suite just barely enough to support a simple REPL and simple C-compiler: MesCC. Mes+MesCC can compile an only lightly patched TinyCC[9] 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 GuixSD for i686-linux and x86_64-linux. Mes is inspired by The Maxwell Equations of Software: LISP-1.5[10] -- John McCarthy page 13, GNU Guix's source/binary packaging transparency and Jeremiah Orians's stage0[11] ~500 byte self-hosting hex assembler. * Download git clone git://git.savannah.gnu.org/mes.git Here are the compressed sources and a GPG detached signature[*]: https://ftp.gnu.org/gnu/mes/mes-0.18.tar.gz https://ftp.gnu.org/gnu/mes/mes-0.18.tar.gz.sig Use a mirror for higher download bandwidth: https://ftpmirror.gnu.org/mes/mes-0.18.tar.gz https://ftpmirror.gnu.org/mes/mes-0.18.tar.gz.sig Here are the MD5 and SHA1 checksums: f9f901f175fbc8a5a3d90c9c551ccc8c mes-0.18.tar.gz 4f7612731a745ebb806548186453d55e0d0bf217 mes-0.18.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.18.tar.gz.sig If 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 1A858392E331EAFDB8C27FFBF3C1= A0D9C1D65273 and rerun the 'gpg --verify' command. Mes runs from the source tree and can also be built, packaged and installed in Guix[SD] from a git checkout by running guix package -f .guix.scm * Get informed, get involved Join #bootstrappable on irc.freenode.net. * Changes in 0.18 since 0.17.1 ** Core *** Mes/MesCC now supports x86_64. *** Mes/MesCC now brings a Reduced Binary Seed bootstrap to GuixSD. ** Language *** fold-right now supports 3 lists. ** MesCC *** MesCC now supports x86_64 (also as cross build), using -m 64. *** Mes C Library now has better support for bootstrapping gcc-3.0. *** Mes C test suite now has 178 tests; 74 tests were added. *** MesCC has been refactored to support use an abstracted assembly langua= ge. *** MesCC now uses Nyacc 0.86.0. ** Noteworthy bug fixes *** scaffold/tests/7s-struct-short.c has been fixed. * Changes in 0.17.1 since 0.17 ** MesCC *** Mes C Library has now been exploded into a separate C file per functio= n. *** Mes C Library now bootstraps glibc-2.16.0, binutils-2.20.1, gcc-4.7.4. *** Mes C Library now supports compiling make-3.82. *** Mes C Library now supports compiling diffutils-2.7. *** Mes C Library now supports x86_64. **** 7 new functions chdir, clock_gettime, closedir, execl, opendir, readdir, time. **** 5 new stubs getlogin, setlocale, setvbuf, sigaddset, sigblock. ** Noteworthy bug fixes *** qsort can now handle lists with duplicate entries. Greetings, janneke [0] https://www.gnu.org/software/mes [1] http://joyofsource.com/reduced-binary-seed-bootstrap.html [2] https://www.gnu.org/software/guix [3] https://bootstrappable.org [4] https://github.com/oriansj/mes-m2 [5] https://github.com/oriansj/m2-planet [6] https://github.com/schemeway/lalr-scm [7] https://www.cs.indiana.edu/chezscheme/syntax-case/old-psyntax.html [8] https://www.nongnu.org/nyacc [9] https://gitlab.com/janneke/tinycc [10] http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Pr= ogrammers%20Manual.pdf [11] https://github.com/oriansj/stage0 =2D-=20 Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org Freelance IT http://JoyofSource.com | Avatar=C2=AE http://AvatarAcademy.com --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEGoWDkuMx6v24wn/788Gg2cHWUnMFAlu6I94ACgkQ88Gg2cHW UnMoFA//WUGRG10wpRAfbCCe4KkPQaoyB4fUd4tYXXNrokToNRCK8AKjtKIi3x2s HvseW9IHLopu6u49eHG/csGElAB19NN8mC5oLSQiS/slhK2iq25yj/V0DMZcuuHQ CXenpPr3f03IzFEbr1tnC9cCYRH0d1YGy+52ZCdEr9sXJ34KwRATF7BITGv7ZSx9 2D91COMY08m+7tC8CsUJ6OpVnscFPjZSLKDudr9U2wLvNrLLAfst5tyVnsBEzzzh QIcu/M2JthYxydLVFZn2QfaMP/PiGDOvClTPgphUBFu6NsIeRR4gbDhs+Sah0gGY f+1dtTIQq08Ep86DDZGsk2KYn0Az94pyXB1f4WR1ZAlggEXPGg1fQ/BOmfxT6AWo d5I6u1S4HicEHK0Xdw2s3ahZuZajua27vWrNoT8/jwfwujBsix4KGDd4iD1lTBBn nsTIpp65hzQ66HqRQ3+biHiBenMezc1wbq2QWs9xeujVf8U7+vFapx3GrkEGOr5K P+gwrP8bsWdnmIBJ4eAAx+Jas7pR49wVdOY6eCyLUXExvpV3hwmEwgPKde7dZlXE TkXuNBRc5OeK2D0pyMEjGPP1p7CNdfj3GlngV/tuAABSIUJIHWWUP4GkFP29i2QW VC+H+ZRVpfQzJIgzlGfBUlqFGqF48dBA4lx2ty2OWsRNAVlfF0Q= =aX5D -----END PGP SIGNATURE----- --=-=-=--