GNU bug report logs - #63728
GHC cannot find lrt

Previous Next

Full log

Message #25 received at 63728 <at> debbugs.gnu.org (full text, mbox):

From: Josselin Poiret <dev <at> jpoiret.xyz>
To: Mekeor Melire <mekeor <at> posteo.de>, Antero Mejr <antero <at> mailbox.org>
Cc: 63728 <at> debbugs.gnu.org
Subject: Re: bug#63728: GHC cannot find lrt
Date: Wed, 31 May 2023 20:40:28 +0200

[Message part 1 (text/plain, inline)]

Hi everyone,

Mekeor Melire <mekeor <at> posteo.de> writes:

> Hm. Alternatively, we could just fix gcc-toolchain (so that it 
> includes rt). But maintainers (understandably) hesitate because 
> this will trigger a world rebuild.

Yet another alternative would be to patch GHC to not include `-lrt` in
its flags.  Yet another big rebuild though!  The proper fix in the
meantime is as you mentioned: add ghc-toolchain to contain everything
that's needed.  I find it weird though, since I've never had to do
anything of the sort when building Agda locally since the core-updates
merge though.

Best,
-- 
Josselin Poiret

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.