Re: Guix on aarch64

2018-08-30 Thread Ricardo Wurmus
Hi Joshua, >> I agree. We need volunteers to pick a particular configuration (my >> suggestion is to start with an Overdrive 3000 rack server[1]) and find a >> place to host these servers. We have not been successful in delegating >> this to other people and unfortunately the maintainers canno

Re: Guix on aarch64

2018-08-30 Thread Ludovic Courtès
Hi Mark, Mark H Weaver skribis: > The 'guix publish' TTL is a secondary issue, because, as you say, the > NARs are only deleted if the corresponding store item has been GC'd. > The more important question is: what is the policy for deleting GC roots > on Berlin? As I wrote, there’s no policy ot

Re: Guix on aarch64

2018-08-29 Thread Joshua Branson
Ricardo Wurmus writes: > Hi Leo, > >> On Sun, Aug 26, 2018 at 12:13:44PM -0400, Mark H Weaver wrote: >>> Regardless, I think we should seriously consider moving the Aarch64 >>> build slave(s) to Hydra for now, until Cuirass is more mature. >> >> I agree with your points about why berlin.guixsd.or

Re: Guix on aarch64

2018-08-28 Thread Mark H Weaver
Leo Famulari writes: > On Tue, Aug 28, 2018 at 09:57:49AM +0200, Ricardo Wurmus wrote: >> I commented specifically on Leo’s statement about build debugging on >> Cuirass: >> >> “I don't actually do any build debugging with Berlin yet because I >> don't know how to use the interface effe

Re: Guix on aarch64

2018-08-28 Thread Leo Famulari
On Tue, Aug 28, 2018 at 09:57:49AM +0200, Ricardo Wurmus wrote: > I commented specifically on Leo’s statement about build debugging on > Cuirass: > > “I don't actually do any build debugging with Berlin yet because I > don't know how to use the interface effectively.” > > This did not so

Re: Guix on aarch64

2018-08-28 Thread Mark H Weaver
Andreas Enge writes: > Hello, > > On Tue, Aug 28, 2018 at 09:57:49AM +0200, Ricardo Wurmus wrote: >> I can remove one of the build machines from Berlin. > > would this not aggravate the problem with the availability of substitutes? > As I understand it, then we would have two separate machines, e

Re: Guix on aarch64

2018-08-28 Thread Andreas Enge
Hello, On Tue, Aug 28, 2018 at 09:57:49AM +0200, Ricardo Wurmus wrote: > I can remove one of the build machines from Berlin. would this not aggravate the problem with the availability of substitutes? As I understand it, then we would have two separate machines, each of which would build the same

Re: Guix on aarch64

2018-08-28 Thread Ricardo Wurmus
Hi Mark, > Ricardo Wurmus writes: >> I think you are overreacting and I really don’t think the sarcastic >> response is justified. This kind of communication is very demotivating >> to me. > > Believe it or not, I wasn't conscious of the fact that I was being > sarcastic or hostile. Sorry abo

Re: Guix on aarch64

2018-08-27 Thread Mark H Weaver
Mark H Weaver writes: > Ricardo Wurmus writes: >> I think you are overreacting and I really don’t think the sarcastic >> response is justified. This kind of communication is very demotivating >> to me. > > Believe it or not, I wasn't conscious of the fact that I was being > sarcastic or hostile

Re: Guix on aarch64

2018-08-27 Thread Mark H Weaver
Hi again, > Ricardo Wurmus writes: >> I think you are overreacting and I really don’t think the sarcastic >> response is justified. This kind of communication is very demotivating >> to me. > > Believe it or not, I wasn't conscious of the fact that I was being > sarcastic or hostile. I should c

Re: Guix on aarch64

2018-08-27 Thread Mark H Weaver
Hi Ricardo, Ricardo Wurmus writes: > I think you are overreacting and I really don’t think the sarcastic > response is justified. This kind of communication is very demotivating > to me. Believe it or not, I wasn't conscious of the fact that I was being sarcastic or hostile. Sorry about that.

Re: Guix on aarch64

2018-08-27 Thread Ricardo Wurmus
Leo Famulari writes: >> I agree. We need volunteers to pick a particular configuration (my >> suggestion is to start with an Overdrive 3000 rack server[1]) and find a >> place to host these servers. We have not been successful in delegating >> this to other people and unfortunately the mainta

Re: Guix on aarch64

2018-08-27 Thread Leo Famulari
On Mon, Aug 27, 2018 at 10:04:12AM +0200, Ricardo Wurmus wrote: > I think our use of Hydra is not sustainable. It requires regular manual > intervention by Mark, careful tuning of SQL queries, conscientious > clean up of old substitutes, and we have not a single person familiar > with the Perl cod

Re: Guix on aarch64

2018-08-27 Thread Ricardo Wurmus
Hi Mark, I think you are overreacting and I really don’t think the sarcastic response is justified. This kind of communication is very demotivating to me. If this is an urgent problem (and your hostility indicates that it is) then by all means go ahead and add one of the aarch64 build nodes to

Re: Guix on aarch64

2018-08-27 Thread Mark H Weaver
Hi again, Ricardo Wurmus writes: > We do have people working on Cuirass, though. Let’s add important > missing features to Cuirass instead of making efforts to keep Hydra on > life support. Perhaps the idea is to use the fact that Aarch64 is unusable to motivate people to work on Cuirass? If t

Re: Guix on aarch64

2018-08-27 Thread Mark H Weaver
Hi Ricardo, Ricardo Wurmus writes: >> On Sun, Aug 26, 2018 at 12:13:44PM -0400, Mark H Weaver wrote: >>> Regardless, I think we should seriously consider moving the Aarch64 >>> build slave(s) to Hydra for now, until Cuirass is more mature. >> >> I agree with your points about why berlin.guixsd.o

Re: Guix on aarch64

2018-08-27 Thread Ricardo Wurmus
Hi Leo, > On Sun, Aug 26, 2018 at 12:13:44PM -0400, Mark H Weaver wrote: >> Regardless, I think we should seriously consider moving the Aarch64 >> build slave(s) to Hydra for now, until Cuirass is more mature. > > I agree with your points about why berlin.guixsd.org makes it harder to > maintain

Re: Guix on aarch64

2018-08-26 Thread Leo Famulari
On Sun, Aug 26, 2018 at 12:13:44PM -0400, Mark H Weaver wrote: > Regardless, I think we should seriously consider moving the Aarch64 > build slave(s) to Hydra for now, until Cuirass is more mature. I agree with your points about why berlin.guixsd.org makes it harder to maintain the aarch64 port. I

Re: Guix on aarch64

2018-08-26 Thread Mark H Weaver
Hi Ludovic, l...@gnu.org (Ludovic Courtès) writes: > Mark H Weaver skribis: > >> If I'm not mistaken, I believe I have confirmed with the test below that >> a substitute for binutils from early commencement on aarch64 is not >> available on berlin. > > [...] > >> It occurs to me that on Hydra, I

Re: Guix on aarch64

2018-08-24 Thread Ricardo Wurmus
Ludovic Courtès writes: > In addition, Ricardo has a plan to throw more storage at berlin (we > currently have 1TB for the store). That would allow us to increase the > TTL and generally worry less, though it’s no substitute for the GC root > mechanism above. Right. Unfortunately, this depen

Re: Guix on aarch64

2018-08-24 Thread Ludovic Courtès
Hello Mark, Mark H Weaver skribis: > If I'm not mistaken, I believe I have confirmed with the test below that > a substitute for binutils from early commencement on aarch64 is not > available on berlin. [...] > It occurs to me that on Hydra, I have implemented a system to ensure > that *all* d

Re: Guix on aarch64

2018-08-23 Thread Benjamin Slade
On 2018-08-22T22:58:10-0600, Mark H Weaver wrote: > Hi Ludovic and Efraim, > I think there may be a serious problem with substitutes on Aarch64. See > below, where Benjamin Slade reports that substitutes aren't working for > him on Aarch64, although he reports having authorized berlin's k

Re: Guix on aarch64

2018-08-22 Thread Mark H Weaver
Hi Ludovic and Efraim, I think there may be a serious problem with substitutes on Aarch64. See below, where Benjamin Slade reports that substitutes aren't working for him on Aarch64, although he reports having authorized berlin's key. If I'm not mistaken, I believe I have confirmed with the test

Re: ANNOUNCE: Guix on Aarch64 !!

2017-03-06 Thread Ludovic Courtès
Efraim Flashner skribis: > On March 6, 2017 11:57:44 AM GMT+02:00, l...@gnu.org wrote: [...] >>It would be great if you could start looking for an aarch64 machine >> to >>plug into Hydra, or maybe start with a VM. >> >>Thoughts? >> >>Cheers, >>Ludo’. > > The odroid-c2 is under $50, I've been us

Re: ANNOUNCE: Guix on Aarch64 !!

2017-03-06 Thread Efraim Flashner
On March 6, 2017 11:57:44 AM GMT+02:00, l...@gnu.org wrote: >Hello! > >Efraim Flashner skribis: > >> Its my pleasure to announce that guix now has all the code necessary >to >> support aarch64! Currently support is limited to the core-updates >> branch, but that shouldn't be too much of a proble

Re: ANNOUNCE: Guix on Aarch64 !!

2017-03-06 Thread Ludovic Courtès
Hello! Efraim Flashner skribis: > Its my pleasure to announce that guix now has all the code necessary to > support aarch64! Currently support is limited to the core-updates > branch, but that shouldn't be too much of a problem, since currently > everything needs to be built from source. Woohoo

Re: ANNOUNCE: Guix on Aarch64 !!

2017-02-21 Thread Mark H Weaver
Efraim Flashner writes: > Its my pleasure to announce that guix now has all the code necessary to > support aarch64! This is great news! Thanks very much for taking this on :) Mark

Re: ANNOUNCE: Guix on Aarch64 !!

2017-02-20 Thread Leo Famulari
On Mon, Feb 20, 2017 at 04:32:18PM +0200, Efraim Flashner wrote: > Its my pleasure to announce that guix now has all the code necessary to > support aarch64! Currently support is limited to the core-updates > branch, but that shouldn't be too much of a problem, since currently > everything needs to

Re: ANNOUNCE: Guix on Aarch64 !!

2017-02-20 Thread Tobias Geerinckx-Rice
Efraim, On 20/02/17 15:32, Efraim Flashner wrote: > Its my pleasure to announce that guix now has all the code necessary > to support aarch64! Wow. Thank you so much for all the time you spent on this! Kind regards, T G-R signature.asc Description: OpenPGP digital signature

Re: ANNOUNCE: Guix on Aarch64 !!

2017-02-20 Thread Manolis Ragkousis
On 02/20/2017 04:32 PM, Efraim Flashner wrote: > Its my pleasure to announce that guix now has all the code necessary to > support aarch64! Currently support is limited to the core-updates > branch, but that shouldn't be too much of a problem, since currently > everything needs to be built from sou

Re: ANNOUNCE: Guix on Aarch64 !!

2017-02-20 Thread Ricardo Wurmus
Efraim Flashner writes: > Its my pleasure to announce that guix now has all the code necessary to > support aarch64! Currently support is limited to the core-updates > branch, but that shouldn't be too much of a problem, since currently > everything needs to be built from source. This is excell

Re: ANNOUNCE: Guix on Aarch64 !!

2017-02-20 Thread John Darrington
Great work! I'm looking forward to trying it. J' On Mon, Feb 20, 2017 at 04:32:18PM +0200, Efraim Flashner wrote: Its my pleasure to announce that guix now has all the code necessary to support aarch64! Currently support is limited to the core-updates branch, but that shouldn't be

ANNOUNCE: Guix on Aarch64 !!

2017-02-20 Thread Efraim Flashner
Its my pleasure to announce that guix now has all the code necessary to support aarch64! Currently support is limited to the core-updates branch, but that shouldn't be too much of a problem, since currently everything needs to be built from source. For those interested in the numbers, I built (at