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