From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?ISO-8859-1?Q?J=E9r=E9my_Korwin-Zmijowski?= Newsgroups: gmane.comp.gcc.devel,gmane.lisp.guile.user,gmane.comp.gnu.guix.devel Subject: Re: GNU Mes 0.19 released Date: Mon, 17 Dec 2018 13:08:16 +0100 Message-ID: References: <877eg91av2.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1545048415 16493 195.159.176.226 (17 Dec 2018 12:06:55 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 17 Dec 2018 12:06:55 +0000 (UTC) User-Agent: K-9 Mail for Android Cc: guix-devel@gnu.org,rb-general@lists.reproducible-builds.org,gcc@gcc.gnu.org,bootstrappable@freelists.org To: guile-user@gnu.org,Jan Nieuwenhuizen ,info-gnu@gnu.org Original-X-From: gcc-return-197884-gcg-devel-2=m.gmane.org@gcc.gnu.org Mon Dec 17 13:06:50 2018 Return-path: Envelope-to: gcg-devel-2@blaine.gmane.org Original-Received: from server1.sourceware.org ([209.132.180.131] helo=sourceware.org) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gYrfe-0004AN-0m for gcg-devel-2@blaine.gmane.org; Mon, 17 Dec 2018 13:06:50 +0100 DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:date :in-reply-to:references:mime-version:subject:to:cc:from :message-id:content-type:content-transfer-encoding; q=dns; s= default; b=cYMa55jDPdWV9RIoIkjbtRVwC+lDr9+GMwtA+7RQtAsfxmPV4OkWe waWETnqrXH8K0/xcIP/PgHDUrIlHKgr3MpeAUjaRY8e+QiIc2T/gQ/mo+PBH2qBO jVBIidl2IbsrXKdtxzSFnUxrq7U/6yNrDwH3oJvk4uh8C/RrvmgXxo= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:date :in-reply-to:references:mime-version:subject:to:cc:from :message-id:content-type:content-transfer-encoding; s=default; bh=6C5aEpYrJRToPfek9njxR7WfHuI=; b=iC3aZYn/mzo/JP1FrmuXHfJjAZQM QfmIkcmDB7+CyZQAqe32Y/EN6UWL7znCmvpe5NYZlY6f55WQrv0hUYctXf06uhEG H1JBzgcm2llmTumpt+anVowF4VruBn6ogWuPBeYCTyLGkUWRJDfUdmR/Twn8ZQp1 7CZUsAMj3F3s+4U= Original-Received: (qmail 100894 invoked by alias); 17 Dec 2018 12:08:29 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Original-Sender: gcc-owner@gcc.gnu.org Original-Received: (qmail 100597 invoked by uid 89); 17 Dec 2018 12:08:28 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-1.3 required=5.0 tests=BAYES_00,HTML_MESSAGE,KAM_LAZY_DOMAIN_SECURITY,KAM_LOTSOFHASH,KAM_SHORT,RCVD_IN_DNSWL_LOW autolearn=no version=3.3.2 spammy= X-HELO: relay3-d.mail.gandi.net Original-Received: from relay3-d.mail.gandi.net (HELO relay3-d.mail.gandi.net) (217.70.183.195) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 17 Dec 2018 12:08:23 +0000 Original-Received: from [10.128.44.90] (unknown [37.164.219.114]) (Authenticated sender: jeremy@korwin-zmijowski.fr) by relay3-d.mail.gandi.net (Postfix) with ESMTPSA id ED31D60005; Mon, 17 Dec 2018 12:08:18 +0000 (UTC) In-Reply-To: <877eg91av2.fsf@gnu.org> Xref: news.gmane.org gmane.comp.gcc.devel:150422 gmane.lisp.guile.user:15107 gmane.comp.gnu.guix.devel:45838 Archived-At: Very inspiring work ! Le 16 d=C3=A9cembre 2018 21:21:21 GMT+01:00, Jan Nieuwenhuizen a =C3=A9crit : >We are pleased to announce the release of GNU Mes 0.19, representing >100 commits over 10 weeks. > >Mes has now brought the Reduced Binary Seed bootstrap to Guix >(bootstrap >a GNU/Linux system without binary GNU toolchain or equivalent) and work >is ongoing to audit and verify this bootstrap path in NixOS. > >This release introduces strings as byte-array, hash-tables and native >structs. While that does increase the footprint somewhat, it fixes >our performance issue; tinycc is now compiled in ~8min (WAS: ~1h30). > >Next targets: > > - translate mes.c into unsnarfed mes.M2 > - use Gash to remove bash, coreutils&co, grep, sed, tar from the Guix > bootstrap binaries > - replace the NixOS bootstrap > - use dietlibc, uClibc, ... for bootstrapping GNU (bash, binutils, > gcc, tar) and remove Mes C lib+gnu? > - bootstrap gcc-3.x or 4.x directly, drop initial gcc-2.95.3 target? > - have M1+hex2 create gcc/tcc-usable object files? archives? > - Debian? > - ARM, the Hurd? > >Packages are available from Guix's core-updates branch. > >* About > > GNU Mes[0] brings a Reduced Binary Seed bootstrap[1] to Guix[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 Guix 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.19.tar.gz > https://ftp.gnu.org/gnu/mes/mes-0.19.tar.gz.sig > > Use a mirror for higher download bandwidth: > https://ftpmirror.gnu.org/mes/mes-0.19.tar.gz > https://ftpmirror.gnu.org/mes/mes-0.19.tar.gz.sig > > Here are the MD5 and SHA1 checksums: > > 99e134df87adc5fc5fd2c04941929c23 mes-0.19.tar.gz > c9781b3b6a814acc985c2ac68caa111a56583bca mes-0.19.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.19.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 >1A858392E331EAFDB8C27FFBF3C1A0D9C1D65273 > > and rerun the 'gpg --verify' command. > >Mes runs from the source tree and can also be built, packaged and >installed in Guix from a git checkout by running > > guix package -f .guix.scm > >* Get informed, get involved > > See https://bootstrappable.org > Join #bootstrappable on irc.freenode.net. > >* Changes in 0.19 since 0.18 > ** Core > *** The build system has been simplified. > *** Mes now prints a backtrace upon error. >*** Performance has been improved 2-8 times, making Mes 2-10 times >slower than Guile. > *** Mes now supports a module type and uses a `boot-module'. > *** Mes now supports a hash_table type. > *** Mes now supports a struct type. > *** Mes now supports building a %bootstrap-mes seed from Guix. > ** Language > *** Records are now implemented using struct (WAS: vector). > *** 44 new functions > ceil, char-downcase, char-set-adjoin, char-set-complement, > char-upcase, current-time, delete-file, dup, dup2, file-exists?, > floor, frame-printer, get-internal-run-time, getcwd, gettimeofday, > hash, hash-ref, hash-set!, hash-table-printer, hashq, > hashq-get-handle, hashq-ref, hashq-set, inexact->exact, > make-hash-table, make-stack, make-struct, module-define!, > module-printer, module-ref, module-variable, read-line, round, > stack-length, stack-ref, string-downcase, string-tokenize, > string-upcase, struct-length, struct-ref, struct-set! struct-vtable, > struct-vtable, with-error-to-file. > ** MesCC >*** Assembly defines have been cleaned-up: duplicates deleted, missing >added, wrong fixed. > *** MesCC now supports compiling GNU Bash and GNU Tar. > **** 6 New functions > getegid, geteuid, getppid, setgid, setuid, sigdelset, sigprocmask. > **** 22 New macros > EACCES, ENOSPC, ESPIPE, INT16_MAX, INT16_MIN, INT32_MAX, INT32_MIN, > INT64_MAX, INT64_MIN, INT8_MAX, INT8_MIN, LLONG_MAX, LLONG_MIN, > SIZE_MAX SYS_getegid, SYS_geteuid, SYS_setgid SYS_setuid, S_IRGRP, > S_IROTH, S_IRWXG, S_IRWXO S_ISGID, S_ISUID, S_IWGRP, S_IWOTH, S_IXGRP, > S_IXOTH, UINT16_MAX, UINT32_MAX, UINT64_MAX, UINT8_MAX, > _POSIX_VERSION. > ** Noteworthy bug fixes > *** Mes now supports characters #\xNN. > *** Mes now supports assq-ref and assoc-ref with alist =3D=3D #f. > *** Mes now supports \xNN in strings. This allows using Nyacc-0.86.0. > *** MesCC now supports the unary plus operator. > *** MesCC now supports the `U' integer suffix. > *** MesCC now comes with INTnn_MIN/MAX, UINTnn defines in stdint.h. > *** MesCC now always exits non-zero when assembler or linker fail. > >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%20Progra= mmers%20Manual.pdf >[11] https://github.com/oriansj/stage0 > >--=20 >Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org >Freelance IT http://JoyofSource.com | Avatar=C2=AE http://AvatarAcademy.com --=20 Jeko=