Re: gccgo package does not include gccgo binary

2016-07-11 Thread Alex Vong
Hi guix, Matthew Jordan writes: > Good Day Alex and everyone, > >> >> Thank your help, but I still cannot build hello-world... >> > > If all you want to do is compile some hello world code, > > $ guix package -i go@1.4 > > And use the "go" command > Actually, I am trying to link object file comp

suspicious ownership after grafting

2016-07-11 Thread Ben Woodcroft
Hi, I came across this issue while running `guix environment`, not sure what to make of it. Any ideas? The actual package 'roary' I'm working on but I guess this is immaterial. Thanks. ben $ GUIX_PACKAGE_PATH=~/git/guix_mine ~/git/guix/pre-inst-env guix environment --pure --ad-hoc roary bas

Re: 'guix system vm' questions

2016-07-11 Thread Leo Famulari
On Wed, Jun 29, 2016 at 11:48:42AM -0400, Leo Famulari wrote: > How does OpenSSH get entropy without blocking on first boot? According to 'INSTALL' in the OpenSSH source code, OpenSSH gets random numbers from the "libcrypto" backup, which for us is OpenSSL, which uses /dev/urandom.

Re: Wrong system time

2016-07-11 Thread Leo Famulari
On Mon, Jul 11, 2016 at 11:52:00AM +, Kete Foy wrote: > Thanks, I have this and the linux use-package-modules, but I may have > made a mistake. I installed linux 4.1 as the normal user, and I ran > 'guix system reconfigure' as my normal user or root but definitely as > root after linux libre 4.

guix-edit shows "Autodoc not available..." w/ 2 REPLs

2016-07-11 Thread myglc2
Running guix/debian ... When I do 'M-x guix-edit RET screen RET' I get ... "Autodoc not available (No Geiser REPL for this buffer (try M-x run-geiser))" ... This puzzles me because guix already has 2 REPLs running ... * * Guile REPL * 1228 REPL (Guile REPL<1> run) * *G

Re: AUR for GuixSD

2016-07-11 Thread Ludovic Courtès
Hello! David Craven skribis: > So how rigid are you on the gnu system thing? Was jookia right that > you won't accept patches that will make guixsd a gnu system or > something else? ;-) As Ricardo wrote, we accept all free software packages. We favor the GNU ones when there’s a choice, which m

Re: Wrong system time

2016-07-11 Thread Kete Foy
Leo Famulari: > IIRC we kept the 4.1 series of linux-libre specifically for libreboot > users. You should be able to use it by adding the following line to your > OS declaration: > > (kernel linux-libre-4.1) > Thanks, I have this and the linux use-package-modules, but I may have made a mistake. I

Re: GuixSD on arm

2016-07-11 Thread Ludovic Courtès
Jookia <166...@gmail.com> skribis: > Hi again, I've found my old Guix repo: https://notabug.org/Jookia/guix > It's about a month old, and I think works. There's these branches: Woow, thanks for sharing! I hope we’ll manage to integrate this work or get inspiration from it. Ludo’.

Re: GuixSD on arm

2016-07-11 Thread Ludovic Courtès
Hi! Jookia <166...@gmail.com> skribis: > On Tue, Jul 05, 2016 at 10:23:07AM +0200, Ludovic Courtès wrote: [...] >> > - GNUness over pragmatism. >> > >> > The main issue I had with doing an ARM port is the bootloader, and this is >> > because everyone I spoke to except Ludovic seemed to be hesit

Re: Reproducible bootstrapping

2016-07-11 Thread Ludovic Courtès
Leo Famulari skribis: > On Tue, Jul 05, 2016 at 09:34:30AM +0200, t3sserakt wrote: >> Am 04.07.16 um 18:46 schrieb Efraim Flashner: >> >> > On Mon, Jul 04, 2016 at 06:01:51PM +0200, t3sserakt wrote: >> >> Hi Ludo, >> >> >> >> thx for your quick reply, but no. >> >> >> >> I was talking about repr