[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#35178: Agda doesn't build

From: Ludovic Courtès
Subject: bug#35178: Agda doesn't build
Date: Tue, 09 Apr 2019 12:58:02 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)

Pronaip <address@hidden> skribis:

> ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
> On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès <address@hidden> wrote:
>> Could check whether it systematically fails to build?
>> Thank you,
>> Ludo’.
> I've tried it a few times, it always gives the same result. The --rounds 
> thing stops after the first failed build, so maybe I'm doing something wrong?

‘--rounds’ will try several times only as long as building succeeds.

So in this case, you can simply run “guix build agda” several times.

Let us know how it goes.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]