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

Re: [PATCH] gnu: Add proof-general

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

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

2015-06-08 Thread Ludovic Courtès
Alex Kost alez...@gmail.com 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

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: MIPS bootstrap problem in core-updates

2015-06-08 Thread Mark H Weaver
Mark H Weaver m...@netris.org 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 +++

[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 manolis...@gmail.com Date: Tue, 9 Jun 2015 01:14:03 +0300 Subject: [PATCH] gnu: make-bootstrap: Remove unneeded configure flag

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 manolis...@gmail.com 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

Re: Guix binary tarball

2015-06-08 Thread Ludovic Courtès
Alex Kost alez...@gmail.com skribis: Ludovic Courtès (2015-06-07 19:14 +0300) wrote: Thomas Schwinge tho...@codesourcery.com 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

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 manolis...@gmail.com Date: Tue, 9 Jun 2015 01:08:55 +0300 Subject: [PATCH] gnu: base: Add glibc-for-target macro. * gnu/packages/base.scm

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 manolis...@gmail.com Date: Thu, 21 May

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

[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 alez...@gmail.com Date: Mon, 8 Jun 2015 12:12:37 +0300 Subject:

[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 m...@netris.org 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] 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: [PATCH] gnu: sed: Set PATH_MAX for HURD systems.

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

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

2015-06-08 Thread 宋文武
David Hashe david.ha...@dhashe.com 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 ---

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

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

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: Kernel recompilation on Novena

2015-06-08 Thread Ludovic Courtès
Mark H Weaver m...@netris.org 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

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

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