[bootstrappable] Re: GNU Mes 0.18 released
- From: Ondřej Čertík <ondrej@xxxxxxxxx>
- To: bootstrappable@xxxxxxxxxxxxx
- Date: Thu, 01 Nov 2018 18:26:02 -0600
Hi Jan,
Hi Ondřej!
GNU Mes[0] brings a Reduced Binary Seed bootstrap[1] to GuixSD[2] and
I would like to try the bootstrap out. In order to do so, do I need to
install GuixSD as a system, i.e., into some qemu?
That would be the easiest; GuixSD offers 0.15.0 Qemu images
https://www.gnu.org/software/guix/download/
Note that after installing GuixSD, you would have to clone the Guix git
archive, checkout the `core-updates-next' branch and work from there.
I also tried the GNU Guix 0.15.0 Binary
But it requires me to become root and modify my Ubuntu installation,
which I don't want to do.
Yes, I can imagine.
I am hoping that eventually it will be possible to just run a simple
bash script that one can run on any linux system without root access
(since things are self-contained and without external dependencies
besides the included binary seed).
Sure. That sentiment got me to start such a script half but there
weren't any users yet and it already bit rotted
http://git.savannah.gnu.org/cgit/mes.git/tree/build-aux/setup-mes.sh
This only starts building Mes (and the bootstrap up till there will
change too).
I would test the script happily. I just tried it, but it requires sudo access
to install Ubuntu packages.
Maybe I am misunderstanding the goal, but what I was hoping is a bootstrap
procedure that does not require any Ubuntu packages, nor root access. What I am
imagining, and perhaps it's naive (if so, please correct me) is a script that
starts with a small initial binary ./hex, and then calls it on sources to
produce more powerful binaries, until you bootstrap a C or scheme compiler:
./hex sources1.hex > ./hex2
./hex2 sources2.hex > ./hex3
...
./hex10 sources10.c > ./tiny-c-compiler
Ondrej
Other related posts:
- » [bootstrappable] GNU Mes 0.18 released- Jan Nieuwenhuizen
- » [bootstrappable] Re: GNU Mes 0.18 released- Jan Nieuwenhuizen
- » [bootstrappable] Re: GNU Mes 0.18 released- Arne Babenhauserheide
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)
- » [bootstrappable] Re: GNU Mes 0.18 released- Arne Babenhauserheide
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Jan Nieuwenhuizen
- » [bootstrappable] Re: GNU Mes 0.18 released - OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Jan Nieuwenhuizen
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- OndÅej ÄertÃk
- » [bootstrappable] Re: GNU Mes 0.18 released- Giovanni Mascellani
- » [bootstrappable] Re: GNU Mes 0.18 released- Orians, Jeremiah (DTMB)