[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.
Thanks,
Ludo’.