Re: Disable gnulib's test-lock test in packages?

Pushed in acc2dab7f2f50c9169d6388007c770878eae4a9c Eric Bavier, Scientific Libraries, Cray Inc. From: Ludovic Courtès Sent: Sunday, November 5, 2017 10:12 To: Eric Bavier Cc: guix-devel@gnu.org Subject: Re: Disable gnulib's test-lock test

Re: The usability of Guix configurations

Sorry Leo, please disregard this miss-fire On 11/06/2017 at 21:30 myglc2 writes: > On 11/06/2017 at 17:16 Leo Famulari writes: > >> On Mon, Nov 06, 2017 at 03:12:11PM -0500, myglc2 wrote: >>> My system recently broke when I did an upgrade. I reported what I >>> thought was a bug (bug#29072) but

Re: The usability of Guix configurations

Please note: these replies are separated by topics in an effort to make the threads more topical ... On 11/06/2017 at 17:16 Leo Famulari writes: > On Mon, Nov 06, 2017 at 03:12:11PM -0500, myglc2 wrote: >> My system recently broke when I did an upgrade. I reported what I >> thought was a bug

Re: The usability of Guix configurations

On 11/06/2017 at 17:16 Leo Famulari writes: > On Mon, Nov 06, 2017 at 03:12:11PM -0500, myglc2 wrote: >> My system recently broke when I did an upgrade. I reported what I >> thought was a bug (bug#29072) but it turned out that, because qemu >> package code had been moved, my system configuration

Re: The usability of Guix configurations

Please note: these replies are separated by topics in an effort to make the threads more topical ... On 11/06/2017 at 17:16 Leo Famulari writes: > On Mon, Nov 06, 2017 at 03:12:11PM -0500, myglc2 wrote: [...] >> Guix config errors are reported as raw scheme errors which are not >> user-friendly,

Re: [PATCH] Clean all .go in clean-go

On 09/16/2016 at 01:15 Eric Bavier writes: > On Fri, 02 Sep 2016 14:42:27 +0200 > l...@gnu.org (Ludovic Courtès) wrote: > >> Eric Bavier skribis: >> >> > On Thu, 01 Sep 2016 14:37:58 +0200 >> > l...@gnu.org (Ludovic Courtès) wrote: >> >> [...] >> >> >> > In

Re: The usability of Guix configurations

Please note: these replies separated by topics in an effort to make the threads more topical ... On 11/06/2017 at 22:16 Leo Famulari writes: > On Mon, Nov 06, 2017 at 03:12:11PM -0500, myglc2 wrote: >> My system recently broke when I did an upgrade. I reported what I >> thought was a bug

Re: The usability of Guix configurations

On Mon, Nov 06, 2017 at 03:12:11PM -0500, myglc2 wrote: > My system recently broke when I did an upgrade. I reported what I > thought was a bug (bug#29072) but it turned out that, because qemu > package code had been moved, my system configuration had become broken > ;-( > > Confronted with my

Re: Status update on reproducible builds in Guix

Hartmut Goebel writes: > Am 06.11.2017 um 09:52 schrieb Ludovic Courtès: >>> [15:37:41] At this stage we might as well wait for this to land >>> upstream: https://www.python.org/dev/peps/pep-0552/ >>> >>> So, it seems, that we are waiting for this pep to

Re: Status update on reproducible builds in Guix

Ludovic Courtès writes: > Hello, > > Gábor Boskovits skribis: > >> Yesteday we had a discussion about that on irc. >> Here it goes: >> >> >> [15:15:16] hello guix! >> [15:16:01] do we have a proposed way to build pyc files >> reproducibly? >> [15:16:50]

Re: why is linux-libre-headers behind linux-libre?

On Mon, Nov 06, 2017 at 02:22:50PM -0500, Mark H Weaver wrote: > When Pjotr said that the Linux API is remarkably stable, I assume he was > talking about the syscall API, i.e. the API available to programs run in > user space. The Linux kernel project has a strict policy to avoid > changing its

The usability of Guix configurations

My system recently broke when I did an upgrade. I reported what I thought was a bug (bug#29072) but it turned out that, because qemu package code had been moved, my system configuration had become broken ;-( Confronted with my situation, helpful developers said "The package code was moved in

Re: why is linux-libre-headers behind linux-libre?

Dave Love writes: > Pjotr Prins writes: > >> The Linux kernel API is remarkably stable. > > Actually, I don't think that's the case, speaking as someone who's had > to deal with out-of-tree drivers for various reasons. For instance, the > OrangeFS

Re: avoid wrapper scripts when possible

Ricardo Wurmus writes: > Ricardo Wurmus writes: > >> I wonder if there’s a way to have a script header that starts out as a >> shell script and then calls itself again but skipping over the header, >> thus calling the original script. >> >> Take this

Re: Can't download signing key for Guix 0.13.0

On Mon, Nov 06, 2017 at 10:26:40AM +0100, oge wrote: > Hi all, > > I'm starting out with Guix but for some reason I can't download the public > key to verify the Guix 0.13.0 download. > > The following command (from > https://www.gnu.org/software/guix/manual/html_node/Binary-Installation.html) >

Re: Changing HTTP proxy settings in GuixSD

Hi Ludo, A quick workaround would be to do something along these lines: # herd stop guix-daemon # http_proxy=… guix-daemon --build-users-group=guixbuild # guix system reconfigure config.scm where config.scm has the relevant proxy configuration of in ‘guix-configuration’. Would that

Re: Can't download signing key for Guix 0.13.0

Hey Jonathan, gpg --keyserver started working for me now. Sorry for the spurious report. Thanks for verifying for me, and for the tip about 0x as well. Oge Nnadi.

Re: Hacks to install Guix packages without root

On Mon, Nov 06, 2017 at 03:03:30PM +, Dave Love wrote: > > Best to try for the specific use case. For bioinformatics it won't > > work. > > This may be a bit off-topic, but perhaps it helps in packaging: I don't > know whether that refers to using PRoot or fakechroot, but anyway, > what

Library "libhilbert"

Yann, Thanks for taking the time to let us know what you found! > I'm Yann, a PhD student in Computer Science, and I just saw a > message from Tobias Geerinckx-Rice "Anyone using libhilbert?" : > https://lists.gnu.org/archive/html/guix-devel/2017-08/msg00279.html [moved:] > I have the answer

Re: avoid wrapper scripts when possible

Ricardo Wurmus writes: > For binaries (like emacs) we’d still create shell wrappers where needed, > because it’s harder to do this natively. You could link in a constructor function to replace a wrapper that just sets the environment, couldn't you? I've done that at times

Re: Tiny Guix (and containers)

Ludovic Courtès writes: >> It looks to me as if it would often help significantly, e.g. when a >> pkg-config file, or something else sucks in a load of stuff that's >> irrelevant for running the package. (Separating :lib and needing that >> for building means you need to know

Re: why is linux-libre-headers behind linux-libre?

Pjotr Prins writes: > The Linux kernel API is remarkably stable. Actually, I don't think that's the case, speaking as someone who's had to deal with out-of-tree drivers for various reasons. For instance, the OrangeFS module typically broke when I tried to rebuild the

Re: why is linux-libre-headers behind linux-libre?

Ludovic Courtès writes: > The Omnipath library relies on Linux (not libc) headers, and a specific > version thereof? The current version of the library relies on a recent enough version of the module/headers as it's fairly new stuff. It's interacting with the driver at a fairly

Re: Tiny Guix (and containers)

Ludovic Courtès writes: > Another reason is that splitting is just part of the story. Often, it’s > not moving out 10 KB of header files that really helps; rather, it’s > stripping the dependency graph. Oh, sure, and that probably isn't the reason for convention of splitting

Re: Tiny Guix (and containers)

Pjotr Prins writes: > For most software we just need the binary executable and its shared > libs. That is exactly what I package with my tool: > > For gemma the binary closure is only 18Mb. See > https://github.com/genetics-statistics/GEMMA/issues/90 > > That is small.

Re: Hacks to install Guix packages without root

Pjotr Prins writes: > On Tue, Oct 31, 2017 at 02:19:55PM +, Dave Love wrote: >> Pjotr Prins writes: >> >> > PRoot is too slow for most HPC purposes but can be used to build >> > non-proot binaries, as I do here: >> > >> >

Re: Can't download signing key for Guix 0.13.0

Hello Oge, I checked that command on my machine an it worked as intended :) If you want to search on pgp.mit.edu you have to ad "0x" before the key. You can find the key here: https://pgp.mit.edu/pks/lookup?search=0x3CE464558A84FDC69DB40CFB090B11993D9AEBB5=index Jonathan On 06/11/17

Library "libhilbert"

Dear all, I'm Yann, a PhD student in Computer Science, and I just saw a message from Tobias Geerinckx-Rice "Anyone using libhilbert?" : https://lists.gnu.org/archive/html/guix-devel/2017-08/msg00279.html I tried to contact him via the button "reply via email" but it didn't work. I tried to

Can't download signing key for Guix 0.13.0

Hi all, I'm starting out with Guix but for some reason I can't download the public key to verify the Guix 0.13.0 download. The following command (from https://www.gnu.org/software/guix/manual/html_node/Binary-Installation.html) failed: $ gpg --keyserver pgp.mit.edu --recv-keys

Re: Status update on reproducible builds in Guix

Ok, I think we should try the patch the bytecode complier way. WDYT? Rekado mentioned that setting the times would be an easier way to go, but breaks some tests... I guess they were also discussing options on irc. You are right, backporting does not seem to be a good option here. Regarding

Re: Let's build 'core-updates'!

Hello, Marius Bakke skribis: > Is there anything else we should consider this round? Maybe the > automatic wrapping from ? Yesterday I submitted this license installation patch, which should be simple enough: https://bugs.gnu.org/29161

Re: NFS mounts

Konrad Hinsen skribis: > l...@gnu.org (Ludovic Courtès) writes: > >>> Of course, the real problem is that I cannot mount it at all because >>> rpc.statd is missing. >> >> Ooh, got it. Well we could (ab)use the ‘dependencies’ field of >> ‘file-system’ to introduce a

Re: why is linux-libre-headers behind linux-libre?

On Mon, Nov 06, 2017 at 03:44:41AM -0500, Mark H Weaver wrote: > Are you sure about this? My impression was that binaries compiled with > newer linux-libre-headers can be run on older kernels. If you were > correct, then the binaries we've been building throughout 2017 could be > reliably run

Re: Status update on reproducible builds in Guix

Hello, Gábor Boskovits skribis: > Yesteday we had a discussion about that on irc. > Here it goes: > > > [15:15:16] hello guix! > [15:16:01] do we have a proposed way to build pyc files > reproducibly? > [15:16:50] I've read in the report, that we are not there yet, but >

Re: why is linux-libre-headers behind linux-libre?

Hi, l...@gnu.org (Ludovic Courtès) writes: > Dave Love skribis: > >> Efraim Flashner writes: >> >>> On Tue, Oct 31, 2017 at 02:00:35PM +0100, Vincent Legoll wrote: Hello, On Tue, Oct 31, 2017 at 1:35 PM, Dave Love wrote:

Re: NFS mounts

l...@gnu.org (Ludovic Courtès) writes: >> Of course, the real problem is that I cannot mount it at all because >> rpc.statd is missing. > > Ooh, got it. Well we could (ab)use the ‘dependencies’ field of > ‘file-system’ to introduce a dependency on the rpc.statd daemon startup. Is there a