From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id UNvMB9WUd2Q9fQEASxT56A (envelope-from ) for ; Wed, 31 May 2023 20:41:25 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id EIOXB9WUd2QfIQEA9RJhRA (envelope-from ) for ; Wed, 31 May 2023 20:41:25 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id AFE9828BE6 for ; Wed, 31 May 2023 20:41:24 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q4Qku-0000me-Rn; Wed, 31 May 2023 14:41:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q4Qkp-0000mP-EQ for bug-guix@gnu.org; Wed, 31 May 2023 14:41:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q4Qko-0003uk-P4 for bug-guix@gnu.org; Wed, 31 May 2023 14:41:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q4Qko-0000jt-8D for bug-guix@gnu.org; Wed, 31 May 2023 14:41:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#63728: GHC cannot find lrt Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Wed, 31 May 2023 18:41:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63728 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Mekeor Melire , Antero Mejr Cc: 63728@debbugs.gnu.org Received: via spool by 63728-submit@debbugs.gnu.org id=B63728.16855584372798 (code B ref 63728); Wed, 31 May 2023 18:41:02 +0000 Received: (at 63728) by debbugs.gnu.org; 31 May 2023 18:40:37 +0000 Received: from localhost ([127.0.0.1]:36330 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q4QkP-0000j3-Ah for submit@debbugs.gnu.org; Wed, 31 May 2023 14:40:37 -0400 Received: from jpoiret.xyz ([206.189.101.64]:35246) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q4QkK-0000iq-Pw for 63728@debbugs.gnu.org; Wed, 31 May 2023 14:40:36 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id CA97F1851DF; Wed, 31 May 2023 18:40:30 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1685558431; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=CxNYmlWm3ZBEMM4diqS4n7e+UJXUNADYKf45s3IyJpw=; b=JQM/FLlLYwcXu0YqCY9QVrHhfWVW1135PHyI/a10YenGsDp1cGrRLyu5RL2dCa9oMdwU8g Gt2Bn1kY6R0TyH2N0STX15YZuEuIlrUzU+P1AEmFfY+RmepA+KUKqOG3qsVjkbq37OxwjX 4Ou00b/94ohuwiDR20DgdOZHlBUhNN+8GGvFA9zRZgtcbQ27tghyVoAx2KXGHLeiOoV7bi ZWWijG7bNxsIJ4w75nQUrKxvMu/e2UQpvPQBgpo+XFYvGnDDC97xuL4BGjiEHKpt4wd+e5 K44qIkXL/OC8xPkQr3nf3qDizXtBsoFk9fzJiI3DQbD/fjLMX/gjWpFM6KFXjg== In-Reply-To: <87edmyewcd.fsf@posteo.de> References: <877cswaw12.fsf@mailbox.org> <87zg5rpi0b.fsf@posteo.de> <87edn3w10l.fsf@mailbox.org> <87edmyewcd.fsf@posteo.de> Date: Wed, 31 May 2023 20:40:28 +0200 Message-ID: <87bki0qr8j.fsf@jpoiret.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spamd-Bar: / X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-to: Josselin Poiret From: Josselin Poiret via Bug reports for GNU Guix Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: bug-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1685558485; a=rsa-sha256; cv=none; b=Ws/agVZKU3/K+R63QFLNbe4dq6hDZp5ujp9zkX/Uek31shU5Yqm3G4Qd/68IjN8fnbVKS7 29XZqdVrqHP3uGIody+Kh4p7ryK7RFSycd+MPtT41XN0DzXPdh0wcd0wkg8HsqX3dxjwLn 8ObHY1Hw7Nb3C4feamPaSY634Q7y1l9EzTZghBTLLqSewOkgGs8N0unaKe4vtqr5Pcd2Ad LT2P+iKGT6hSq71eX0GiGFii0LA7uOmYWgukpYk4sS+jEZVWK6BntY3un+GKrKJ5nmLuP2 9yKlHC4JdykyofER4PVNEB+TtMn9eEO0U7SLcjeRGs0io8C3aMa8jj9ahTShlg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=jpoiret.xyz header.s=dkim header.b="JQM/FLlL"; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1685558485; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=CxNYmlWm3ZBEMM4diqS4n7e+UJXUNADYKf45s3IyJpw=; b=Oh803GR8h9CUIJw5OswMmP0/SwXhIJ+6nBitBo8yB+GVLIeWV5SHW6JReym24mtwmixAq7 0KUktyl94LpGWgscBNiD0r5Em4DqGVmNHIZxQTvUfb7PLS+33bOcYD1/jzLkn/ojJHCNfu n60a97VLrJUDM5HtTLToltsdhFMtfXb6wft6hs2ThH53nXqaBEIpCq2MkyfoVS7i0DY5QL U5eYlMeSyh0qNXgxm0wnKykhsumdr6e5RRSEXGQ8ySkKcILqXHpkXqlUUajI8C2PeAH2nC 8JyQ9ZqwKf+GBekSv1WXoJPamBXV0ZITZDQucZe7c10gijeLSHu8ztjcBzXYWQ== Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=jpoiret.xyz header.s=dkim header.b="JQM/FLlL"; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Scanner: scn0.migadu.com X-Migadu-Spam-Score: -6.05 X-Spam-Score: -6.05 X-Migadu-Queue-Id: AFE9828BE6 X-TUID: xGGwD65ELNHS --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hi everyone, Mekeor Melire writes: > Hm. Alternatively, we could just fix gcc-toolchain (so that it=20 > includes rt). But maintainers (understandably) hesitate because=20 > 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, =2D-=20 Josselin Poiret --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQHEBAEBCgAuFiEEOSSM2EHGPMM23K8vUF5AuRYXGooFAmR3lJwQHGRldkBqcG9p cmV0Lnh5egAKCRBQXkC5FhcaiiEWDACKah3+zxZnAl5asNRg6BzEO/t2lq0DV/pI T7ljd9El1kUK0skilvT+0V65rzNAtorRm/92CID8YjIanRKnj/NwcalrjJ2zs8RC IVfVqNnC7SHCRauy2E7YaxlixYIzvhiVOueuz2axs83FWBuO+5LnWE7bDGYQlUCA ocnUrNJzsImzvBg+cqqgIIXxcRhBsaBHXJ3lZo6cvDvZh2gGisqbE/9Ua3hVfQoT 21GKzLgvkdRxcFgHdMlMXplJ0r0ERgEYI6nY01szMrUSR5JSzRQY8q4m+zXUEiRt M44wHNwegy5nm2bwMqX3PDXKUfcEQ4aEkA1w5FZQVI7i/9gUBzWBH3BLm7y9adTM +XktWS7dPxoNN7wZVHPfXCBAnWpNRfr2YJeEki4K1+a2Xsm0jbhvYhAbyybzxt5+ brWIAED0dLtbo8SpYMGVdS0uwoPtG5lUez++FwvL85/CC+yiwqONHtQ688/1AVT9 MF/aUXfSPdcfzFPgkvo1ogdZ54OX1UA= =SyQy -----END PGP SIGNATURE----- --=-=-=--