From debbugs-submit-bounces@debbugs.gnu.org Sat May 25 17:58:29 2019 Received: (at 35178) by debbugs.gnu.org; 25 May 2019 21:58:29 +0000 Received: from localhost ([127.0.0.1]:49806 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hUegO-000099-RD for submit@debbugs.gnu.org; Sat, 25 May 2019 17:58:29 -0400 Received: from mail-40133.protonmail.ch ([185.70.40.133]:57779) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hUegN-00008x-Is for 35178@debbugs.gnu.org; Sat, 25 May 2019 17:58:28 -0400 Date: Sat, 25 May 2019 21:58:16 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=default; t=1558821500; bh=4pfTWtpN8SmfYMWbeyZG2Kfcl2PbIvholSsQgjwhpnU=; h=Date:To:From:Cc:Reply-To:Subject:In-Reply-To:References: Feedback-ID:From; b=stCVGNd+6M00q3ei0FDa6n4/h+FMJqTzgM25Mb41YlwNucNA4vV4LRfI9xyYnnxnp GXRbgJhgQGG94w/ZnmkD+d1+RPTTCJs1XQ/yFPSky87hBHQGWNphER2qIJYVFHgrN2 RysxOE5Tm7L0NIY0mCdRkl15mHP8uleLAVhdkx5k= To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= From: Pronaip Subject: Re: bug#35178: Agda doesn't build Message-ID: In-Reply-To: <875zrnh2dh.fsf@gnu.org> References: <87imvplqz0.fsf@gnu.org> <875zrnh2dh.fsf@gnu.org> Feedback-ID: Zwf-AgKjGj7p61o7kGbWJBUHpipzTNxEbnwmq2vFFWU6VWtG3efTH1K380U1ZptvR7SP_Gj0c6oobGC7S4SuLw==:Ext:ProtonMail MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=7.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mail.protonmail.ch X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 35178 Cc: "35178\\@debbugs.gnu.org" <35178@debbugs.gnu.org> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Pronaip Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Oh I forgot to update this. The build seems to work fine now for some reaso= n. Sent with ProtonMail Secure Email. =E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90 Original Me= ssage =E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90 On Tuesday, April 9, 2019 12:58 PM, Ludovic Court=C3=A8s wro= te: > Pronaip pronaip@protonmail.com skribis: > > > =E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90 Origina= l Message =E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80= =90 > > On Sunday, April 7, 2019 6:28 PM, Ludovic Court=C3=A8s ludo@gnu.org wro= te: > > > > > Could check whether it systematically fails to build? > > > Thank you, > > > Ludo=E2=80=99. > > > > I've tried it a few times, it always gives the same result. The --round= s thing stops after the first failed build, so maybe I'm doing something wr= ong? > > =E2=80=98--rounds=E2=80=99 will try several times only as long as buildin= g succeeds. > > So in this case, you can simply run =E2=80=9Cguix build agda=E2=80=9D sev= eral times. > > Let us know how it goes. > > Thanks, > Ludo=E2=80=99.