From mboxrd@z Thu Jan 1 00:00:00 1970 From: Neil Jerram Subject: Re: Mes 0.8 released Date: Mon, 26 Jun 2017 10:22:54 +0100 Message-ID: <20170626092254.5992527.92824.71003@ossau.homelinux.net> References: <87shio57y8.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Return-path: In-Reply-To: <87shio57y8.fsf@gnu.org> List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Sender: "guile-user" To: Jan Nieuwenhuizen , guile-user@gnu.org Cc: guix-devel@gnu.org, epsilon-devel@gnu.org List-Id: guix-devel.gnu.org Hi Jan, In your bootstrap path, what is the step after Mes?=E2=80=8E I guess it wou= ld be using mescc to compile some C program - but if that is right, which p= rogram?=C2=A0 Regards - Neil=C2=A0 =C2=A0 Original Message =C2=A0 From: Jan Nieuwenhuizen Sent: Sunday, 25 June 2017 17:40 To: guile-user@gnu.org Cc: guix-devel@gnu.org; epsilon-devel@gnu.org Subject: Mes 0.8 released I am pleased to announce the release of Mes 0.8, representing 34 commits over 3 weeks. Mescc now produces object files in the hex2 ascii output format compatible with the stage0 linker. Special thanks to Jeremiah Orians for support with MESCC_Tools and hex2, more goodness to follow soon! * About Mes aims to create full source bootstrapping for GuixSD: an entirely source-based bootstrap path. The target is to [have GuixSD] boostrap from a minimal, easily inspectable binary --that should be readable as source-- into something close to R6RS Scheme. It currently consists of a mutual self-hosting [close to Guile-] Scheme interpreter prototype in C and a Nyacc-based C compiler in [Guile] Scheme. The Scheme interpreter prototype (mes.c) has a Garbage Collector, a library of loadable Scheme modules-- notably Dominique Boucher's LALR[1], Pre-R6RS portable syntax-case[2] with R7RS ellipsis, Matt Wette's Nyacc[3] Guile's PEG[4] --and test suite just barely enough to support a simple REPL (repl.mes) and simple C-compiler (mescc.mes) that can produce the second initial ELF binary from binary from mes.c, in only about 2h30'. Mes was inspired by The Maxwell Equations of Software: LISP-1.5[5] -- John McCarthy page 13, GNU Guix's[6] source/binary packaging transparency and Jeremiah Orians's stage0[7] bootstrap project. * Download git clone https://gitlab.com/janneke/mes wget https://gitlab.com/janneke/mes/repository/archive.tar.gz?ref=3Dv0.8 -O= mes-0.8.tar.gz Mes runs from the source tree and can also be built, packaged and installed in Guix[SD] by the usual guix package -f guix.scm * Changes in 0.8 since 0.7 ** Mescc *** Mescc now depends on the hex2 linker from MESCC_Tools[9]. Direct ELF output support has been removed. ELF symbol and string table creation has been removed. *** Mescc now has experimental annotation support for hex2. *** Mescc has experimental annotation support for hex2. *** Mescc has been simplified by leveraging use labels in hex2 output. *** Mescc now supports continue in loops. *** Mescc now compiles to hex2 object files. ** Language *** 1 new function list-index. Greetings, janneke [1] https://github.com/schemeway/lalr-scm [2] https://www.cs.indiana.edu/chezscheme/syntax-case/old-psyntax.html [3] https://www.nongnu.org/nyacc/ [4] https://www.gnu.org/software/guile/docs/master/guile.html/PEG-Parsing.h= tml [5] http://www.softwarepreservation.org/projects/LISP/book/LISP%25201.5%252= 0Programmers%2520Manual.pdf [6] https://www.gnu.org/software/guix/ [7] https://github.com/oriansj/stage0 [8] https://gitlab.com/janneke/tinycc [9] https://github.com/oriansj/MESCC_Tools --=20 Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org Freelance IT http://JoyofSource.com | Avatar=C2=AE http://AvatarAcademy.com