From unknown Sat Jun 14 19:34:36 2025 X-Loop: help-debbugs@gnu.org Subject: bug#63728: GHC cannot find lrt Resent-From: Antero Mejr Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 25 May 2023 22:26:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 63728 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 63728@debbugs.gnu.org X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16850535534530 (code B ref -1); Thu, 25 May 2023 22:26:01 +0000 Received: (at submit) by debbugs.gnu.org; 25 May 2023 22:25:53 +0000 Received: from localhost ([127.0.0.1]:48336 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q2JP7-0001B0-3M for submit@debbugs.gnu.org; Thu, 25 May 2023 18:25:53 -0400 Received: from lists.gnu.org ([209.51.188.17]:35644) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q2JP5-0001Aq-7S for submit@debbugs.gnu.org; Thu, 25 May 2023 18:25:51 -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 1q2JP5-0006Ee-0l for bug-guix@gnu.org; Thu, 25 May 2023 18:25:51 -0400 Received: from mout-p-103.mailbox.org ([80.241.56.161]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1q2JOv-0005Kv-QX for bug-guix@gnu.org; Thu, 25 May 2023 18:25:50 -0400 Received: from smtp2.mailbox.org (smtp2.mailbox.org [IPv6:2001:67c:2050:b231:465::2]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-103.mailbox.org (Postfix) with ESMTPS id 4QS2gd1fv4z9sQD for ; Fri, 26 May 2023 00:25:33 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1685053533; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type; bh=hZDEA8HsTdhP/Mfr2FIVQx5FFawUfmsA+koKV1Z1gpM=; b=ME31uz8cnlGtTNA53coEY88uukjkctaDYUaCMgpjvr3K0Z74703nH5aY0QIbldoNdb1dxL 2shqKFXUMr3RBrycxRbghUne2shC4fEDhsaH3CdkcGbLUK3wBjZKwmfLe8tgiebjk5znPw 7N/bowYss+Bid9xA+gx+GYk8Pwi5Tqu5I84+T5MvGPUfwz9I4MvhKidkubJu+22+Ryw1T+ d1I4/vVj8RNLHRWfVWpZ9NCiB7i8BZV1nwfKI9DGSaaOSf2s6mG6jIXVbisKxETd2Y0/s5 PST+0Zq4hoHKcWzfVc8ObNamO6BmmajO0QSgw6ou+hrxKH16nuyir5dDCCmlOQ== From: Antero Mejr Date: Thu, 25 May 2023 22:25:29 +0000 Message-ID: <877cswaw12.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain X-MBO-RS-META: 3s8j8d3tekyqmcfw99ftskrm3itc3snh X-MBO-RS-ID: 2a651faa96d614b5fe7 Received-SPF: pass client-ip=80.241.56.161; envelope-from=antero@mailbox.org; helo=mout-p-103.mailbox.org X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01, T_SPF_TEMPERROR=0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) 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: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) Attempting to build a trivial Haskell program using ghc fails, as the linker cannot find the rt library: ``` ~ $ ghc -O2 test.hs Linking test ... /home/a/.guix-profile/bin/ld: cannot find -lrt: No such file or directory collect2: error: ld returned 1 exit status `gcc' failed in phase `Linker'. (Exit code: 1) ``` Glibc and gcc-toolchain are installed in the profile, and ~/.guix-profile/lib/librt.so.1 exists. Maybe this is related to this new bug, or the recent core-updates merge? https://issues.guix.gnu.org/63238 From unknown Sat Jun 14 19:34:36 2025 X-Loop: help-debbugs@gnu.org Subject: bug#63728: GHC cannot find lrt Resent-From: Mekeor Melire Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 26 May 2023 09:20:01 +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: Antero Mejr Cc: 63728@debbugs.gnu.org Received: via spool by 63728-submit@debbugs.gnu.org id=B63728.168509280014008 (code B ref 63728); Fri, 26 May 2023 09:20:01 +0000 Received: (at 63728) by debbugs.gnu.org; 26 May 2023 09:20:00 +0000 Received: from localhost ([127.0.0.1]:48812 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q2Tc5-0003dp-Ay for submit@debbugs.gnu.org; Fri, 26 May 2023 05:20:00 -0400 Received: from mout02.posteo.de ([185.67.36.66]:43229) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q2Tc2-0003dY-ME for 63728@debbugs.gnu.org; Fri, 26 May 2023 05:19:56 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 0EFD6240101 for <63728@debbugs.gnu.org>; Fri, 26 May 2023 11:19:47 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.de; s=2017; t=1685092788; bh=QqT2+waG2S4k/ktnlLpx3GMdXTgHP2RV5QDVoNLerCE=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:From; b=O/CiGPT1THtkznuJSwSKfiNa5amngfpoq1jDf3W1DU9kvoPA78TrmixBC4j/iEhRt AkUchZlB7V0tfKpzICjkGaDce56M8r+YdVEFNnpZsQW2JJsdEPfwF6cepFVseSX8TF /R0IxSK8Z+3ZWzyevNjkXqSffPwBol9d83MncjAobfJN06Kn4lQrNS3dp9rt7Vefs8 oZtpwndzsAIMStRjkAPj+9SBVNyLg5G0splIxuUgolC2EDUBzIifwlus/kDTNofcs9 ZNUWfWnLGbXmxzaiH8o3z44fapDs1mSA5F7Ebx35G/ZqJWjv2WkbZkclOexYry4WIO d+r17yU00/CtQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4QSKBW2b1qz6tvx; Fri, 26 May 2023 11:19:47 +0200 (CEST) References: <877cswaw12.fsf@mailbox.org> From: Mekeor Melire Date: Fri, 26 May 2023 09:17:55 +0000 In-reply-to: <877cswaw12.fsf@mailbox.org> Message-ID: <87zg5rpi0b.fsf@posteo.de> MIME-Version: 1.0 Content-Type: text/plain; format=flowed X-Spam-Score: -2.3 (--) 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: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) 2023-05-25 22:25 bug-guix@gnu.org: > Attempting to build a trivial Haskell program using ghc fails, > as the linker cannot find the rt library: Does installing gcc-toolchain:static help as a work-around? From unknown Sat Jun 14 19:34:36 2025 X-Loop: help-debbugs@gnu.org Subject: bug#63728: GHC cannot find lrt Resent-From: Mekeor Melire Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 26 May 2023 09:24:01 +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: Antero Mejr Cc: 63728@debbugs.gnu.org Received: via spool by 63728-submit@debbugs.gnu.org id=B63728.168509300914473 (code B ref 63728); Fri, 26 May 2023 09:24:01 +0000 Received: (at 63728) by debbugs.gnu.org; 26 May 2023 09:23:29 +0000 Received: from localhost ([127.0.0.1]:48826 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q2TfV-0003lN-Cc for submit@debbugs.gnu.org; Fri, 26 May 2023 05:23:29 -0400 Received: from mout01.posteo.de ([185.67.36.65]:37965) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q2TfU-0003l8-0M for 63728@debbugs.gnu.org; Fri, 26 May 2023 05:23:28 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 22D3E240029 for <63728@debbugs.gnu.org>; Fri, 26 May 2023 11:23:22 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.de; s=2017; t=1685093002; bh=WAlHsxzGQy0juBXC0Xy9g22P6EMn5SpUzRgYQJdkVsg=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:From; b=pxt79B/Om0+pPc1cntfV9Bshe0MKFrtZ3AVouHQZdsJCEHxMlfZGuYjUrJjr3mKUH /C72HEwY8CDvTzPoO9riNrKBN08+2ZdSGUo3a/PMupPY+uDzW38wsiXTqweTvEfwAu Xh3ZIT4224mQU/0ZEgAYP/gQZXBVo5t2pwMB4UPWLoyhwp9PyS05jW6p54Qp8QBv2H T/l6meIMpY24yQUamEZ+3mMN96EmjMzoC62KfG1nFlvcy2zQhXZ0s7cL53BoWQw9vH zZsYyibnMs4mlhv2Ku7g8LT/ElImXbrk3CXYMuocomrZBIG7V7IGgUBf9iiMw9Ga1W ibND1e6mYTg2g== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4QSKGd3qMSz6tvl; Fri, 26 May 2023 11:23:21 +0200 (CEST) References: <877cswaw12.fsf@mailbox.org> From: Mekeor Melire Date: Fri, 26 May 2023 09:21:02 +0000 In-reply-to: <877cswaw12.fsf@mailbox.org> Message-ID: <87v8gfphu9.fsf@posteo.de> MIME-Version: 1.0 Content-Type: text/plain; format=flowed X-Spam-Score: -2.3 (--) 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: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) 2023-05-25 22:25 bug-guix@gnu.org: > Attempting to build a trivial Haskell program using ghc fails, > as the linker cannot find the rt library: > > ``` > ~ $ ghc -O2 test.hs > Linking test ... > /home/a/.guix-profile/bin/ld: cannot find -lrt: No such file or > directory > collect2: error: ld returned 1 exit status > `gcc' failed in phase `Linker'. (Exit code: 1) > ``` > > Glibc and gcc-toolchain are installed in the profile, and > ~/.guix-profile/lib/librt.so.1 exists. > > Maybe this is related to this new bug, or the recent > core-updates merge? https://issues.guix.gnu.org/63238 There is also this bug I had reported: https://issues.guix.gnu.org/63258 I suggest to merge this bug (63728) and the bug I just linked (63258). What do you think? From unknown Sat Jun 14 19:34:36 2025 X-Loop: help-debbugs@gnu.org Subject: bug#63728: (no subject) References: <877cswaw12.fsf@mailbox.org> In-Reply-To: <877cswaw12.fsf@mailbox.org> Resent-From: Antero Mejr Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 26 May 2023 15:17: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: control@debbugs.gnu.org Cc: 63728@debbugs.gnu.org Received: via spool by 63728-submit@debbugs.gnu.org id=B63728.168511419317487 (code B ref 63728); Fri, 26 May 2023 15:17:02 +0000 Received: (at 63728) by debbugs.gnu.org; 26 May 2023 15:16:33 +0000 Received: from localhost ([127.0.0.1]:50568 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q2ZBA-0004Xy-Ry for submit@debbugs.gnu.org; Fri, 26 May 2023 11:16:33 -0400 Received: from mout-p-103.mailbox.org ([80.241.56.161]:60370) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q2ZB8-0004Xc-Qo; Fri, 26 May 2023 11:16:31 -0400 Received: from smtp102.mailbox.org (smtp102.mailbox.org [10.196.197.102]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-103.mailbox.org (Postfix) with ESMTPS id 4QST5t75J0z9scc; Fri, 26 May 2023 17:16:18 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1685114179; h=from:from:reply-to:subject:date:date:message-id:message-id:to:to: cc:cc:mime-version:mime-version:content-type:content-type; bh=9ac1OzpsdKAn0/maR7mtRablPBrFAFLldIlKqTynZd0=; b=mnfu00Sa5aHOCoD5EMHdStM4empSoSg1u3mMjjv2P89rCjq160BjTIDPIld1VeuPUawOUP d8el7wfTxcrjcJ/XlDvtFfzpBLDYmFDYr5KkrbVeiTM4lMJk1EEeU1T5R1DLFe+v+jm8P6 Qp/FRHNHlFQVY/O3pTPXZXReKgBChzD+6kKMmikWW/fIIhqbiCIecyxtoB2iaw7YiL05vB cehOpxXEdECCv8nY8AQ0xHCdmZdL13J63rVwMBbQann7/77Nd1TUhuUJpyG1D99EX+GR+0 WLmHN3aL+/V+NgMVqVIObqoZqmBeJU3r4K5s4P3U/cLdhJgm4u0TUuoR8rvgMA== From: Antero Mejr Date: Fri, 26 May 2023 15:16:16 +0000 Message-ID: <87lehbw2bj.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain X-MBO-RS-META: jkbciz88iqrtjt6s6y577uaiezwcomx7 X-MBO-RS-ID: 4ae1992c1f218f116e6 X-Spam-Score: 1.3 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: merge 63258 63728 Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at https://www.dnswl.org/, low trust [80.241.56.161 listed in list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 1.8 MISSING_SUBJECT Missing Subject: header 0.2 NO_SUBJECT Extra score for no subject 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: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) merge 63258 63728 From unknown Sat Jun 14 19:34:36 2025 X-Loop: help-debbugs@gnu.org Subject: bug#63728: GHC cannot find lrt Resent-From: Antero Mejr Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 26 May 2023 15:45: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 Cc: 63728@debbugs.gnu.org Received: via spool by 63728-submit@debbugs.gnu.org id=B63728.168511588529959 (code B ref 63728); Fri, 26 May 2023 15:45:02 +0000 Received: (at 63728) by debbugs.gnu.org; 26 May 2023 15:44:45 +0000 Received: from localhost ([127.0.0.1]:50600 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q2ZcT-0007n8-6V for submit@debbugs.gnu.org; Fri, 26 May 2023 11:44:45 -0400 Received: from mout-p-102.mailbox.org ([80.241.56.152]:54580) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q2ZcQ-0007ms-Hx for 63728@debbugs.gnu.org; Fri, 26 May 2023 11:44:43 -0400 Received: from smtp1.mailbox.org (smtp1.mailbox.org [10.196.197.1]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-102.mailbox.org (Postfix) with ESMTPS id 4QSTkQ1nwqz9sW7; Fri, 26 May 2023 17:44:30 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1685115870; 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=hCVC1jfi1GiV9xlgqbOJsw6eav/CLmeMfgIoVvg8NbA=; b=VQBt4yPibNbsQKdqHe+rLbNrXbfVqQhhmjJzyDbvugNlWXLNHIuuZPFgWwY9SYk06U263Z eGNBo5IZsjWPCfS/9oMjda5gwrAoSznWwAd6Zjqj+JqsDuihLUhw9RximfajO3LlxSJfMT x/2hRelSotyLYjFpWZdIn0Y5ks+5LmUmEoi6oB1KmIytvdrTHqMk0/9I4w74z6SJ1eWjeQ JRCcwPECGFyBT1AI+nu5rpjkP3Mcb9RfNQut+yymEYgB1IpLhzIcmUHV0xNOZZeOuAFQ2C rLL70/yObuFUgKwJ74VX5pu/Wtn6O5EUtdtSefONGPiOwOsFHh+kp8oaiYNu2w== From: Antero Mejr In-Reply-To: <87zg5rpi0b.fsf@posteo.de> (Mekeor Melire's message of "Fri, 26 May 2023 09:17:55 +0000") References: <877cswaw12.fsf@mailbox.org> <87zg5rpi0b.fsf@posteo.de> Date: Fri, 26 May 2023 15:44:26 +0000 Message-ID: <87edn3w10l.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain X-MBO-RS-ID: bb3f6087f9e426219f1 X-MBO-RS-META: 4wgh48fet31qi3x8oye1batdfse8k9ri X-Spam-Score: -0.7 (/) 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: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Mekeor Melire writes: > 2023-05-25 22:25 bug-guix@gnu.org: > >> Attempting to build a trivial Haskell program using ghc fails, as the linker >> cannot find the rt library: > > Does installing gcc-toolchain:static help as a work-around? I merged this bug with #63258. The gcc-toolchain:static workaround fixes the rt problem, but now the binaries aren't linked to libgmp and libffi, even though gmp and libffi packages are installed in the profile: --8<---------------cut here---------------start------------->8--- ~$ ghc -O2 test.hs ~$ ldd ./test linux-vdso.so.1 (0x00007ffe0956f000) libgmp.so.10 => not found libc.so.6 => /gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/lib/libc.so.6 (0x00007fbe27e3f000) libm.so.6 => /gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/lib/libm.so.6 (0x00007fbe27d62000) libffi.so.8 => not found libgcc_s.so.1 => /gnu/store/qcg59v4yg239jj1k0xvqqqkqv6l8q6ll-gcc-12.2.0-lib/lib/libgcc_s.so.1 (0x00007fbe27d41000) /gnu/store/gsjczqir1wbz8p770zndrpw4rnppmxi3-glibc-2.35/lib/ld-linux-x86-64.so.2 => /gnu/store/ip9mj1pwymxi1yq32zbhwp3n3bycy6yi-glibc-2.35/lib/ld-linux-x86-64.so.2 (0x00007fbe2803d000) --8<---------------cut here---------------end--------------->8--- Maybe there should be a ghc-toolchain package that has libgmp and libffi as inputs, and makes sure GHC links them correctly? From unknown Sat Jun 14 19:34:36 2025 X-Loop: help-debbugs@gnu.org Subject: bug#63728: GHC cannot find lrt Resent-From: Mekeor Melire Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 29 May 2023 20:08:01 +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: Antero Mejr Cc: 63728@debbugs.gnu.org Received: via spool by 63728-submit@debbugs.gnu.org id=B63728.168539082826515 (code B ref 63728); Mon, 29 May 2023 20:08:01 +0000 Received: (at 63728) by debbugs.gnu.org; 29 May 2023 20:07:08 +0000 Received: from localhost ([127.0.0.1]:59199 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q3j91-0006tb-Ky for submit@debbugs.gnu.org; Mon, 29 May 2023 16:07:07 -0400 Received: from mout02.posteo.de ([185.67.36.66]:56035) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q3j8y-0006t4-UL for 63728@debbugs.gnu.org; Mon, 29 May 2023 16:07:06 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id EC886240101 for <63728@debbugs.gnu.org>; Mon, 29 May 2023 22:06:58 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.de; s=2017; t=1685390819; bh=Kc/9brcRWrquH0UoOQscHnnc6NEDqWrhANsSvAoXfDg=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:From; b=AM9NngBsjb9go46jE83c8LdbK3UerZhNWbX3sm5940Tm2h2rVwufyXQLnAPwcNzmj poApj+uFvEFWf0O4N2B0MFs/eEVqoILlbWAolUGtoJF85YJDbH9GbdYRP0PEit6wdT 3R8D3QUaqcevoaYlckD/q30DlrpaUZ2nc7rXoGAGanBYv7X5ow1eKg7csBP1XzNP/z i7MPAzLyecQWZUsfTDtPhLU/AnVUy2Zkj+RmFHNL2l3d6eezHWvAEUkBJdUfv5VzqX 8KXHnW5eAWY+H4FL2Lm+EJbJaD/lHgUJB5FcMQ/+Ry+2wqz54HGwVS3Dh7UGcw+BFV WZsty/oCleVIA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4QVRPt1b9cz9rxD; Mon, 29 May 2023 22:06:58 +0200 (CEST) References: <877cswaw12.fsf@mailbox.org> <87zg5rpi0b.fsf@posteo.de> <87edn3w10l.fsf@mailbox.org> From: Mekeor Melire Date: Mon, 29 May 2023 20:04:21 +0000 In-reply-to: <87edn3w10l.fsf@mailbox.org> Message-ID: <87edmyewcd.fsf@posteo.de> MIME-Version: 1.0 Content-Type: text/plain; format=flowed X-Spam-Score: -2.3 (--) 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: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) 2023-05-26 15:44 antero@mailbox.org: > The gcc-toolchain:static workaround fixes the rt problem, but > now the binaries aren't linked to libgmp and libffi, even though > gmp and libffi packages are installed in the profile: > > Maybe there should be a ghc-toolchain package that has libgmp > and libffi as inputs, and makes sure GHC links them correctly? Hm. Alternatively, we could just fix gcc-toolchain (so that it includes rt). But maintainers (understandably) hesitate because this will trigger a world rebuild. From unknown Sat Jun 14 19:34:36 2025 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== From: Josselin Poiret 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: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-Spam-Score: 0.0 (/) 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: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) --=-=-= 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----- --=-=-=--