HTTP and FTP proxies for guix package / guix-daemon

2015-06-08 Thread 韋嘉誠
When running guix in a VM I usually run into various connectivity problems. VirtualBox on Windows seems to do some helpful FTP transparent proxying which breaks everything and in another case I don't have internet connectivity due to how the VM is set up. Is there a way to make guix-daemon talk to

[PATCH] gnu: make-bootstrap: Remove unneeded configure flag from %gcc-static.

2015-06-08 Thread Manolis Ragkousis
With this commit "guix build bootstrap-tarballs --target=i686-pc-gnu" works. From 53582d2cdaf3fb69500a24afe3ed4f58cfbffcea Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 9 Jun 2015 01:14:03 +0300 Subject: [PATCH] gnu: make-bootstrap: Remove unneeded configure flag from %gcc-static.

Re: MIPS bootstrap problem in core-updates

2015-06-08 Thread Mark H Weaver
Mark H Weaver writes: > l...@gnu.org (Ludovic Courtès) writes: > >> This (lightly tested) patch may work: >> >> diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm >> index ab16660..6dd4d55 100644 >> --- a/gnu/packages/commencement.scm >> +++ b/gnu/packages/commencement.scm

Re: [PATCH 10/10] gnu: base: Added glibc-for-target macro.

2015-06-08 Thread Manolis Ragkousis
Updated patch as well. It's time to push it to wip-hurd. From 21fe31fb235c322654959c458f73c5f192efee7c Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 9 Jun 2015 01:08:55 +0300 Subject: [PATCH] gnu: base: Add glibc-for-target macro. * gnu/packages/base.scm (glibc): Add macro. --- gnu

Re: Daemon update again

2015-06-08 Thread Andreas Enge
On Sat, Jun 06, 2015 at 07:41:42PM +0200, Ludovic Courtès wrote: > Could you run “make V=1”? Normally DEFAULT_CHROOT_DIRS is defined from > the command line (see ‘libstore_a_CPPFLAGS’.) There is no trace of it on the command line: g++ -DHAVE_CONFIG_H -I. -I./nix -I./nix -I./nix/libutil -I./nix

Re: Guix binary tarball

2015-06-08 Thread Ludovic Courtès
Alex Kost skribis: > Ludovic Courtès (2015-06-07 19:14 +0300) wrote: > >> Thomas Schwinge skribis: >> >>> I'm not a fan of extracting tarballs inside populated directories; so I'm >>> in favor on the suggested change to extract inside a temporary directory, >>> and then move everything in place

Re: [PATCH 08/10] gnu: base: Updated glibc-hurd to 2.19 and removed patches.

2015-06-08 Thread Manolis Ragkousis
Actually I merged this patch with the one from [PATCH 09/10] gnu: base: Remove a multiple definition from libpthread with some changes. This is the updated patch. From f4867aa5438bd5c51579aa9cc3ac0227d7eaf211 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Thu, 21 May 2015 16:57:23 +0300 S

Re: [PATCH 08/10] gnu: base: Updated glibc-hurd to 2.19 and removed patches.

2015-06-08 Thread Manolis Ragkousis
Updated patch. Ok to push to wip-hurd? From ee55055398b8b135d5ba8ac42ef051df606fdc8c Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Thu, 21 May 2015 16:57:23 +0300 Subject: [PATCH] gnu: base: Updated glibc-hurd to 2.19 and removed patches. * gnu/packages/base.scm (glibc/hurd): Update to 2

Re: [PATCH] doc: Add 'help2man' to HACKING.

2015-06-08 Thread Ludovic Courtès
Alex Kost skribis: > From f75411cd7ad1c8cd5ce19a486344f33a7b2b4011 Mon Sep 17 00:00:00 2001 > From: Alex Kost > Date: Mon, 8 Jun 2015 12:12:37 +0300 > Subject: [PATCH] doc: Add 'help2man' to HACKING. > > * HACKING: Mention 'help2man'. > --- > HACKING | 1 + > 1 file changed, 1 insertion(+) > >

Re: [PATCH] gnu: Add proof-general

2015-06-08 Thread Ludovic Courtès
Mark H Weaver skribis: > From e9d66801024e66c39b8ee0d84a10ddc4e6b7a18b Mon Sep 17 00:00:00 2001 > From: Mark H Weaver > Date: Mon, 8 Jun 2015 05:05:23 -0400 > Subject: [PATCH] gnu: Add proof-general. > > * gnu/packages/ocaml.scm (proof-general): New variable. Sure, thank you! Ludo’.

Re: [PATCH 2/2] emacs: Add shell completions for "guix" command.

2015-06-08 Thread Ludovic Courtès
Alex Kost skribis: > Ludovic Courtès (2015-06-07 18:36 +0300) wrote: [...] >> However it’s important to fall back to file name completions for things >> that are not handled, so that at least it is not worse than without the >> pcomplete code. > > Yes, it is the current behaviour (I mean the fi

Re: MIPS bootstrap problem in core-updates

2015-06-08 Thread Mark H Weaver
l...@gnu.org (Ludovic Courtès) writes: > This (lightly tested) patch may work: > > diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm > index ab16660..6dd4d55 100644 > --- a/gnu/packages/commencement.scm > +++ b/gnu/packages/commencement.scm > @@ -139,6 +139,19 @@ > (

Update on GuixSD containers

2015-06-08 Thread Thompson, David
Hey folks, I'd like to give a quick update on the state of wip-container branch. As of this morning, one can run the below commands and have a somewhat functional GuixSD container: # Hardcoded /tmp/container as the container root directory until I # add a command line switch. mkdir /tmp/con

Re: [PATCH] gnu: sed: Set PATH_MAX for HURD systems.

2015-06-08 Thread Ludovic Courtès
Manolis Ragkousis skribis: > I think this one should go to core-updates. WDYT? > > From 827ad2cf704aa0123b509f7f01da8d4413d97113 Mon Sep 17 00:00:00 2001 > From: Manolis Ragkousis > Date: Mon, 8 Jun 2015 16:04:07 +0300 > Subject: [PATCH] gnu: sed: Set PATH_MAX for HURD systems. > > * gnu/package

Re: [PATCH] gnu: sed: Set PATH_MAX for HURD systems.

2015-06-08 Thread Ludovic Courtès
Also, nitpicking: The proper spelling is “Hurd”, not “HURD”. Ludo’.

Re: MIPS bootstrap problem in core-updates

2015-06-08 Thread Ludovic Courtès
Mark H Weaver skribis: > In core-updates, 'glibc-final-with-bootstrap-bash' fails to build on > MIPS, because 'gcc-boot0' doesn't work. The problem is that we've > switched to gcc-4.9, which on MIPS now emits a new ".nan" assembler > directive which is not understood by the assembler in binutils

[PATCH] gnu: patch: Set PATH_MAX for HURD systems.

2015-06-08 Thread Manolis Ragkousis
I think this one should also go to core-updates. WDYT? From 075b0321ed609ee74f8c827081b2e9c9a19a9f4d Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Mon, 8 Jun 2015 16:19:58 +0300 Subject: [PATCH] gnu: patch: Set PATH_MAX for HURD systems. * gnu/packages/patches/patch-hurd-path-max.patch:

[PATCH] gnu: sed: Set PATH_MAX for HURD systems.

2015-06-08 Thread Manolis Ragkousis
I think this one should go to core-updates. WDYT? From 827ad2cf704aa0123b509f7f01da8d4413d97113 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Mon, 8 Jun 2015 16:04:07 +0300 Subject: [PATCH] gnu: sed: Set PATH_MAX for HURD systems. * gnu/packages/patches/sed-hurd-path-max.patch: New file.

Re: GSoC: Porting Guix to Hurd week 3+4 report.

2015-06-08 Thread Manolis Ragkousis
Hello > Now, from a discussion we had on IRC, I think the problem reported at > the beginning of this thread is fixed. Manolis, can you confirm? Yes, I am doing a local cleanup and I am sending the patches to the list. > Also, I think the target should be 4.9 or 4.8, but definitely not 4.7. > S

Re: GSoC: Porting Guix to Hurd week 3+4 report.

2015-06-08 Thread Ludovic Courtès
Thomas Schwinge skribis: > On Thu, 04 Jun 2015 22:48:48 +0200, l...@gnu.org (Ludovic > =?utf-8?Q?Court=C3=A8s?=) wrote: >> Manolis Ragkousis skribis: [...] >> autoreconf && ./configure --localstatedir=/var \ >> --with-libgcrypt-prefix=/gnu/store/... && make > > (Not relevant right now,

Re: [PATCH] gnu: evince: Add inputs.

2015-06-08 Thread 宋文武
David Hashe writes: > * gnu/packages/gnome.scm (evince): Add 'djvulibre' as an input. > --- > gnu/packages/gnome.scm | 3 ++- > 1 file changed, 2 insertions(+), 1 deletion(-) > > diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm > index 34658e1..e02a430 100644 > --- a/gnu/packages/gno

Re: Kernel recompilation on Novena

2015-06-08 Thread Ludovic Courtès
Mark H Weaver skribis: > l...@gnu.org (Ludovic Courtès) writes: > >> Thanks for the info! >> >> I wonder what the status of our linux-libre package is on armhf. I >> guess we first need a config file for that platform, based on the x86 >> ones. > > I may be showing my ignorance, but it seems to

Re: GSoC: Porting Guix to Hurd week 3+4 report.

2015-06-08 Thread Manolis Ragkousis
Hello Thomas Actually I did a mistake last time, I should have told you to build gcc-4.8, not gcc-4.7, because that's what make-bootstrap.scm use. Btw I managed to build the bootstrap-tarballs. Per Ludo's suggestion I removed "--disable-decimal-float" flag from %gcc-static and we got the binaries

Re: Guix binary tarball

2015-06-08 Thread Alex Kost
Ludovic Courtès (2015-06-07 19:14 +0300) wrote: > Thomas Schwinge skribis: > >> I'm not a fan of extracting tarballs inside populated directories; so I'm >> in favor on the suggested change to extract inside a temporary directory, >> and then move everything in place as a separate step. > > OK.

[PATCH] doc: Add 'help2man' to HACKING.

2015-06-08 Thread Alex Kost
Since now help2man is needed to build man pages, I think it is worth mentioning somewhere in the documentation. Though I'm not sure where. >From f75411cd7ad1c8cd5ce19a486344f33a7b2b4011 Mon Sep 17 00:00:00 2001 From: Alex Kost Date: Mon, 8 Jun 2015 12:12:37 +0300 Subject: [PATCH] doc: Add 'help2

[PATCH] gnu: Add proof-general

2015-06-08 Thread Mark H Weaver
>From e9d66801024e66c39b8ee0d84a10ddc4e6b7a18b Mon Sep 17 00:00:00 2001 From: Mark H Weaver Date: Mon, 8 Jun 2015 05:05:23 -0400 Subject: [PATCH] gnu: Add proof-general. * gnu/packages/ocaml.scm (proof-general): New variable. --- gnu/packages/ocaml.scm | 81 ++

Re: [PATCH] doc emacs: Improve documentation on initial setup.

2015-06-08 Thread Alex Kost
Ludovic Courtès (2015-06-07 22:42 +0300) wrote: > Alex Kost skribis: > >> From f14f533935169be164a94ecdcfeeecf6690bc07f Mon Sep 17 00:00:00 2001 >> From: Alex Kost >> Date: Sun, 7 Jun 2015 21:43:58 +0300 >> Subject: [PATCH] doc emacs: Improve documentation on initial setup. >> >> Reported by ngz

Re: [PATCH 2/2] emacs: Add shell completions for "guix" command.

2015-06-08 Thread Alex Kost
Ludovic Courtès (2015-06-07 18:36 +0300) wrote: > Alex Kost skribis: > >> It should complete almost everything except suboptions of subcommands, I >> mean those ‘import’ modules (e.g., it will not complete >> ‘--no-test-dependencies’ option for ‘guix import hackage’ command). > > I think that’s f