Re: Comparing Guix packages list with other distributions

2018-07-10 Thread Björn Höfling
On Tue, 10 Jul 2018 14:29:49 -0400 rchar01 wrote: > I was looking for a way to compare Guix packages (versions, quantity) > with other distributions and found a simple solution: > https://repology.org/ https://github.com/repology/repology > > Best, > Robert Hi Robert, thanks for bringing

Re: [doc RFC] Tame the Guix profile blizzard?

2018-07-10 Thread George Clemmer
Hi Nils, Nils Gillmann writes: > 4) before each profile kind is used for the first time, > make use of something like this for the brief introduction > of it again (our manual is not very long, but it is still > long): I Agee. > @cartouche > @quotation Note > In the following

Re: [doc RFC] Tame the Guix profile blizzard?

2018-07-10 Thread George Clemmer
Ludovic Courtès writes: > Hi George, > > George Clemmer skribis: > >> ISTM we can improve this situation as follows: >> >> 1) agree on a canonical term to use for the 4 types of profiles > > I think you mentioned only two types of “profiles”: one is profiles > created by ‘guix package’ or

Re: Comparing Guix packages list with other distributions

2018-07-10 Thread Pierre Neidhardt
Nice, thanks for sharing! -- Pierre Neidhardt The grave's a fine and private place, but none, I think, do there embrace. -- Andrew Marvell signature.asc Description: PGP signature

Re: /dev/urandom

2018-07-10 Thread Leo Famulari
On Tue, Jul 10, 2018 at 08:58:43PM +0200, Danny Milosavljevic wrote: > It writes an image file. Since that image is later written to flash storage > (by the user), the program randomizes the data in order to increase longevity. > Then it stores the random data used as well. I see. Like Ludo and

Re: GSoC update

2018-07-10 Thread Ludovic Courtès
Hi Ioannis, Ioannis Panagiotis Koutsidis skribis: > This patch adds initial support for .socket unit files. It does not > currently work but is near completion. Could you expound a bit? That’s a very short summary for all the sweat you’ve put in it. :-) Also, what is the patch against?

Re: /dev/urandom

2018-07-10 Thread Ludovic Courtès
Hello Danny, Danny Milosavljevic skribis: > u-boot tools/sunxi-spl-image-builder.c reads from /dev/urandom . > > For reproducibility I'd like this to be a static file. Do we already have one > for this purpose? I’d be wary of introducing a static /dev/urandom. It could do more than we want,

Re: [doc RFC] Tame the Guix profile blizzard?

2018-07-10 Thread Ludovic Courtès
Hi George, George Clemmer skribis: > ISTM we can improve this situation as follows: > > 1) agree on a canonical term to use for the 4 types of profiles I think you mentioned only two types of “profiles”: one is profiles created by ‘guix package’ or ‘guix environment’ or ‘guix system’ (they are

Re: gcc-4.7.4: libgcc2.h:157: error: unable to emulate 'TF'

2018-07-10 Thread Jonathan Wakely
On Tue, 10 Jul 2018 at 20:51, Jan Nieuwenhuizen wrote: > However, now i get this error (I do not have pthreads/pthreads.h). GNU/Linux targets are assumed to have Pthreads (because they should do). Use --disable-threads or --enable-threads=single to override the default.

Re: gcc-4.7.4: libgcc2.h:157: error: unable to emulate 'TF'

2018-07-10 Thread Jan Nieuwenhuizen
Jan Nieuwenhuizen writes: > Gábor Boskovits writes: > >> It seems that the errors you were getting are related to 128 bit >> floating point support. It also seems that 128 bit floating point >> support is enabled on 64 bits. I'm not sure about the 32 bit case >> though, do you get the same error

Re: /dev/urandom

2018-07-10 Thread Danny Milosavljevic
Hi Leo, On Tue, 10 Jul 2018 14:28:09 -0400 Leo Famulari wrote: > On Tue, Jul 10, 2018 at 06:22:11PM +0200, Danny Milosavljevic wrote: > > Hi, > > > > u-boot tools/sunxi-spl-image-builder.c reads from /dev/urandom . > > > > For reproducibility I'd like this to be a static file. Do we already

Re: /dev/urandom

2018-07-10 Thread Mark H Weaver
Hi Danny, Danny Milosavljevic writes: > u-boot tools/sunxi-spl-image-builder.c reads from /dev/urandom . > > For reproducibility I'd like this to be a static file. Do we already have one > for this purpose? I think it would be better to patch software as needed to avoid trying to generate

GSoC update

2018-07-10 Thread Ioannis Panagiotis Koutsidis
Hi Guix! This patch adds initial support for .socket unit files. It does not currently work but is near completion. During the past month I also worked on a patch that adds signalfd and fiber support but these are currently way too unstable and for that reason I have not included them in this

Comparing Guix packages list with other distributions

2018-07-10 Thread rchar01
I was looking for a way to compare Guix packages (versions, quantity) with other distributions and found a simple solution: https://repology.org/ https://github.com/repology/repology Best, Robert

Re: /dev/urandom

2018-07-10 Thread Leo Famulari
On Tue, Jul 10, 2018 at 06:22:11PM +0200, Danny Milosavljevic wrote: > Hi, > > u-boot tools/sunxi-spl-image-builder.c reads from /dev/urandom . > > For reproducibility I'd like this to be a static file. Do we already have one > for this purpose? You could use /dev/zero. What does the program

/dev/urandom

2018-07-10 Thread Danny Milosavljevic
Hi, u-boot tools/sunxi-spl-image-builder.c reads from /dev/urandom . For reproducibility I'd like this to be a static file. Do we already have one for this purpose? pgpwFlENYOE64.pgp Description: OpenPGP digital signature

Re: gcc-4.7.4: libgcc2.h:157: error: unable to emulate 'TF'

2018-07-10 Thread Danny Milosavljevic
Hi Janneke, On Mon, 09 Jul 2018 18:57:16 +0200 Jan Nieuwenhuizen wrote: > i386-unknown-linux-gcc > --sysroot=/gnu/store/jdjpfzjr2zf3xbf7ssl11ljwpq7spid8-glibc-mesboot-2.3.6/include >-g -O2 -O2 -g -O2 -DIN_GCC -W -Wall -Wwrite-strings -Wcast-qual > -Wstrict-prototypes

Re: gcc-4.7.4: libgcc2.h:157: error: unable to emulate 'TF'

2018-07-10 Thread Jan Nieuwenhuizen
Gábor Boskovits writes: > It seems that the errors you were getting are related to 128 bit > floating point support. It also seems that 128 bit floating point > support is enabled on 64 bits. I'm not sure about the 32 bit case > though, do you get the same error there?   Ah! That makes me even

Re: gcc-4.7.4: libgcc2.h:157: error: unable to emulate 'TF'

2018-07-10 Thread Jan Nieuwenhuizen
U.Mutlu writes: > You have attached config.h of 2 targets. > Is just one of them failing, or both? I hoped to just get one, but I get two; I configure using ../build/configure --host=i386-unknown-linux --target=i386-unknown-linux ... > And of course: are they both using the same target

Re: [doc RFC] Tame the Guix profile blizzard?

2018-07-10 Thread Nils Gillmann
George Clemmer transcribed 1.4K bytes: > ISTM our doc is a veritable "Profile Blizzard." > > > The term occurs 173 times in guix.texi > > > The "user profile" is referred to in multiple ways: > > (guix) Application Setup: "your Guix profile" > > (guix) Features: 'own “profile”', "per-user

Re: gcc-4.7.4: libgcc2.h:157: error: unable to emulate 'TF'

2018-07-10 Thread Gábor Boskovits
U.Mutlu ezt írta (időpont: 2018. júl. 10., K, 5:53): > Jan Nieuwenhuizen wrote on 07/09/2018 09:40 PM: > > U.Mutlu writes: > > > >> What do you get if you grep for "error: " in the xxx/libgcc/config.log > >> under the builddir? > > > > janneke@guix-x86