Re: Packaging Inferno

[Efraim Flashner]

On Fri, Oct 05, 2018 at 10:11:54AM +0200, Diego Nicola Barbato wrote:
> Hello Guix,
> 
> I have written a package definition for Inferno and I would like to know
> if it would make sense to add it to Guix.  I am asking because I am not
> sure if it is compatible with the FSDG (bundled fonts, trademarks, ...)
> and if it would be of any use to anyone.
> 
> It builds reproducibly on my Laptop (x86_64-linux).  I have not tried to
> build it on any of the other (supposedly) supported architectures.
> 
> For now the recipe has to be passed to `guix build' or `guix package'
> using the `-f' option but I would be glad to add it to a module
> (e.g. (gnu packages virtualization), or a module of its own) and send a
> patch if it is decided that it belongs in Guix.
> 
> Greetings,
> 
> Diego
> 

Not a big fan of using the trivial build system for something that ends
up with this many lines, but I built it on my aarch64 board and here's
the diff I came up with to make it work.

I didn't look into the source at all other than making it build.


-- 
Efraim Flashner  אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
116a117,119
>  ;; don't pass '-m32' unconditionally
>  (substitute* "makemk.sh"
>(("-m32") ""))
126d128
<  ;; TODO: verify this is not a problem on arm
129a132,133
>  (substitute* "mkfiles/mkfile-Linux-arm"
>(("arm-gcc") "gcc"))
182a187
> 


signature.asc
Description: PGP signature

GNU Mes 0.18 released

[Jan Nieuwenhuizen]

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 
1A858392E331EAFDB8C27FFBF3C1A0D9C1D65273

  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 language.
 *** 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 function.
 *** 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%20Programmers%20Manual.pdf
[11] https://github

rootless Guix

[Ricardo Wurmus]

Hi,

it would be nice if we could simplify the case where a user does not
have root access, but the system supports user namespaces.

Currently, a user would have to perform a number of non-obvious steps to
somehow run the Guix daemon in an environment where the filesystem is
virtualized.  It would be great if we could better support this case,
maybe even simplify it to a point where the user does not have to even
start the daemon by themselves.

A user operating in this mode would lose the ability to share with other
users on the same system, of course.  By default Guix could store
everything in a subdirectory of ~/.local and map that to /gnu/store in
the container context.  Applications would also need to be run from
within that container context to ensure that /gnu/store file names are
resolved properly.

I think this would be especially useful for situations where “guix pack”
is not sufficient.  “guix pack” produces one-shot bundles, but it cannot
be composed.  A daemon+store-in-container setup would be extensible.

What do you think about this?  Can we automate the setup necessary for
this scenario and add better defaults?

--
Ricardo

Re: rootless Guix

[Pierre Neidhardt]

Hi,

Not answering your question, but I think it's an awesome idea!

Could this possibly be the last step needed to enable Guix as an "embeddable"
package manager, in the sense that it could be used by any project as the main
mean of distributing components? (E.g. a programming language with libraries or
a web browser with extensions.)

-- 
Pierre Neidhardt
https://ambrevar.xyz/


signature.asc
Description: PGP signature

Re: GNU Mes 0.18 released

[Jérémy Korwin-Zmijowski]

Amazing !
Good job!

Jeko

Le 7 octobre 2018 17:18:54 GMT+02:00, Jan Nieuwenhuizen  a 
écrit :
>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
>1A858392E331EAFDB8C27FFBF3C1A0D9C1D65273
>
>  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
>language.
> *** 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
>function.
>*** 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-ca

Regards from Outreachy applicant

[Laura Lazzati]

Hi everyone,

My name is Laura and I am applying for the outreachy program.

I have already introduced myself in the IRC channel, but I am also
doing so here.

I'm an Information Systems Engineer from Argentina, who graduated with
honors. I liked really much your project. I worked in two HPC
supercomputer centers last year, but unluckily I had a bad experience,
so that's why I am applying to outreachy. I even took two Latin
American courses, one of them even abroad.
In spite of everything, I don't deserve to give up and I do not want to.

Thanks for being a supporting community.

Regards!

Laura

Re: Regards from Outreachy applicant

[Björn Höfling]

On Sun, 7 Oct 2018 16:32:38 -0300
Laura Lazzati  wrote:

> Hi everyone,
> 
> My name is Laura and I am applying for the outreachy program.
> 
> I have already introduced myself in the IRC channel, but I am also
> doing so here.
> 
> I'm an Information Systems Engineer from Argentina, who graduated with
> honors. I liked really much your project. I worked in two HPC
> supercomputer centers last year, but unluckily I had a bad experience,
> so that's why I am applying to outreachy. I even took two Latin
> American courses, one of them even abroad.
> In spite of everything, I don't deserve to give up and I do not want
> to.
> 
> Thanks for being a supporting community.


Welcome to the public mailing list, Laura.

I'm sure you will enjoy Guix and its community!

Björn


pgpGEsgOmst7s.pgp
Description: OpenPGP digital signature

Re: GNU Mes 0.18 released

[Arne Babenhauserheide]

Jan Nieuwenhuizen  writes:

> 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.

That’s awesome! Thank you!

What is M2 Planet?

Best wishes,
Arne
-- 
Unpolitisch sein
heißt politisch sein
ohne es zu merken


signature.asc
Description: PGP signature

Re: GNU Mes 0.18 released

[ACCOUNT VERIFY]

please unsubstrib me

Get Outlook for Android


From: info-gnu  on behalf 
of Jan Nieuwenhuizen 
Sent: Sunday, October 7, 2018 6:18:54 PM
To: info-...@gnu.org
Cc: guix-devel@gnu.org; rb-gene...@lists.reproducible-builds.org; 
guile-u...@gnu.org; bootstrappa...@freelists.org
Subject: GNU Mes 0.18 released

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 
1A858392E331EAFDB8C27FFBF3C1A0D9C1D65273

  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 language.
 *** 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 function.
 *** 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.

Re: GNU Mes 0.18 released

[Jan Nieuwenhuizen]

Arne Babenhauserheide writes:

> That’s awesome! Thank you!

Thanks for your support.

> What is M2 Planet?

M2-Planet is a very simple C-subset (C with-structs) compiler, written in M1
assembly, fully bootstrappable from source

https://github.com/oriansj/m2-planet

It's not yet ready to compile mes.c and mes.c is not yet ready for
compiling with m2-planet; work is ongoing.

janneke

Tracker & Gnome

[Brett Gilio]

Hi all.

I am still fairly new to the concept of packaging for Guix. I 
also, from
time to time, enjoy hacking on GNOME components. One of the 
components
that I am currently lacking is tracker-sparql-2.0. I am pretty 
certain
this is due to the tracker package being out-of-date. Do you all 
have
any insights on how I could go about upgrading this component in 
the
gnome package? Is there perhaps a reason why it has not been 
upgraded,

stability or such?

Best


--
Brett M. Gilio
Free Software Foundation, Member
https://parabola.nu | https://emacs.org