2016-10-15 09:54:24 +00:00
-*- org -*-
2016-05-15 11:41:40 +00:00
Mes -- Maxwell Equations of Software
2018-04-21 22:45:00 +00:00
[[https://gitlab.com/janneke/mes][Mes]] aims to help create full source bootstrapping for [[https://www.gnu.org/software/guix][GuixSD]] as part
of the [[http://bootstrappable.org][bootstrappable builds]] effort.
2017-04-02 15:01:29 +00:00
2018-04-21 22:45:00 +00:00
It currently consists of a mutual self-hosting Scheme interpreter
prototype written in C and a Nyacc-based C compiler written in Scheme.
This C prototype is being simplified to be transpiled by [[https://github.com/oriansj/m2-planet][M2-Planet]].
2017-04-02 15:01:29 +00:00
The Scheme interpreter prototype (mes.c) has a Garbage Collector, a
2017-07-09 16:40:12 +00:00
library of loadable Scheme modules-- notably Dominique Boucher's [[https://github.com/schemeway/lalr-scm][LALR]],
Pre-R6RS [[https://www.cs.indiana.edu/chezscheme/syntax-case/old-psyntax.html][portable syntax-case]] with R7RS ellipsis, Matt Wette's [[https://www.nongnu.org/nyacc][Nyacc]],
Guile's [[https://www.gnu.org/software/guile/docs/master/guile.html/PEG-Parsing.html][PEG]] --and test suite just barely enough to support a simple
2018-04-21 22:45:00 +00:00
REPL and simple C-compiler: MesCC.
2017-07-09 16:40:12 +00:00
2018-05-19 18:52:24 +00:00
Mes+MesCC can compile a only [[https://gitlab.com/janneke/tinycc][lightly modified TinyCC]] that is
2017-11-11 12:09:26 +00:00
self-hosting. A GNU Ccc-compiled tcc is [[https://lists.gnu.org/archive/html/tinycc-devel/2017-05/msg00103.html][known]] to compile GCC.
2017-07-09 16:40:12 +00:00
Mes is inspired by The Maxwell Equations of Software: [[http://www.softwarepreservation.org/projects/LISP/book/LISP%2525201.5%252520Programmers%252520Manual.pdf][LISP-1.5]] -- John
McCarthy page 13, GNU Guix's source/binary packaging transparency and
Jeremiah Orians's stage0 ~300 byte self-hosting hex assembler.
[0] https://gitlab.com/janneke/mes
[1] https://www.gnu.org/software/guix
[2] http://bootstrappable.org
2017-11-21 18:22:26 +00:00
[3] https://github.com/oriansj/m2-planet
2017-07-09 16:40:12 +00:00
[4] https://github.com/schemeway/lalr-scm
[5] https://www.cs.indiana.edu/chezscheme/syntax-case/old-psyntax.html
[6] https://www.nongnu.org/nyacc
[7] https://www.gnu.org/software/guile/docs/master/guile.html/PEG-Parsing.html
[8] https://gitlab.com/janneke/tinycc
[9] https://lists.gnu.org/archive/html/tinycc-devel/2017-05/msg00103.html
[10] http://www.softwarepreservation.org/projects/LISP/book/LISP%25201.5%2520Programmers%2520Manual.pdf
2017-11-21 18:22:26 +00:00
[11] https://github.com/oriansj/stage0
2016-05-15 11:41:40 +00:00
2016-12-13 06:14:59 +00:00
Mes is free software, it is distributed under the terms of the GNU
2016-05-15 11:41:40 +00:00
General Public Licence version 3 or later. See the file COPYING.
2016-09-25 10:50:00 +00:00
2016-10-15 09:54:24 +00:00
* Get it
2016-09-25 10:50:00 +00:00
2016-10-15 09:54:24 +00:00
git clone https://gitlab.com/janneke/mes
2016-10-10 21:24:44 +00:00
2016-10-15 09:54:24 +00:00
* Build it (see INSTALL for full instructions)
2016-09-25 10:50:00 +00:00
2016-10-15 09:54:24 +00:00
./configure
make all
make check
2016-09-25 10:50:00 +00:00
2016-10-15 09:54:24 +00:00
* REPL it
2016-09-25 10:50:00 +00:00
2018-04-21 22:45:00 +00:00
src/mes.gcc # default (64 bit) gcc-compiled
src/mes.mlibc-gcc # 32 bit, gcc -nostdlib
src/mes # 32 bit, bootstrapped, mes.M1+MesCC-compiled
2016-09-25 10:50:00 +00:00
2017-11-11 12:09:26 +00:00
* MesCC compiler
2016-09-25 10:50:00 +00:00
2018-04-21 22:45:00 +00:00
scripts/mescc -c scaffold/main.c
