From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id SNG0CZBwVV/HUwAA0tVLHw (envelope-from ) for ; Sun, 06 Sep 2020 23:28:16 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id 1YSbBZBwVV9OeAAAB5/wlQ (envelope-from ) for ; Sun, 06 Sep 2020 23:28:16 +0000 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 677CF940539 for ; Sun, 6 Sep 2020 23:28:15 +0000 (UTC) Received: from localhost ([::1]:36006 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kF44z-0003a0-2y for larch@yhetil.org; Sun, 06 Sep 2020 19:28:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41452) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kF44s-0003Xe-0p for help-guix@gnu.org; Sun, 06 Sep 2020 19:28:06 -0400 Received: from pat.zlotemysli.pl ([37.59.186.212]:40420) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kF44p-0000hx-U5 for help-guix@gnu.org; Sun, 06 Sep 2020 19:28:05 -0400 Received: (qmail 15075 invoked by uid 1009); 7 Sep 2020 01:27:54 +0200 Received: from 188.123.215.55 (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl (envelope-from , uid 1002) with qmail-scanner-2.08st (clamdscan: 0.98.6/25921. spamassassin: 3.4.0. perlscan: 2.08st. Clear:RC:1(188.123.215.55):. Processed in 0.053047 secs); 06 Sep 2020 23:27:54 -0000 Received: from unknown (HELO gravity) (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl with SMTP; 7 Sep 2020 01:27:54 +0200 Date: Mon, 7 Sep 2020 01:27:52 +0200 From: Jakub =?utf-8?B?S8SFZHppb8WCa2E=?= To: help-guix@gnu.org Subject: Using Haskell library packages - linker error Message-ID: <20200906232752.atko55zzp2pyexvz@gravity> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="ryjbffhgiqufbm4z" Content-Disposition: inline Received-SPF: none client-ip=37.59.186.212; envelope-from=kuba@kadziolka.net; helo=pat.zlotemysli.pl X-detected-operating-system: by eggs.gnu.org: First seen = 2020/09/06 19:27:55 X-ACL-Warn: Detected OS = Linux 3.11 and newer X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Spam-Score: -2.61 X-TUID: kRnaeACRbvyQ --ryjbffhgiqufbm4z Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hello, I am trying to set up Agda, and I have reduced it to a simpler problem: $ cat test.hs import Numeric.IEEE main =3D return () $ genv --pure --ad-hoc ghc@8.6 ghc-ieee754 gcc-toolchain % ghc test.hs Linking test ... ld: cannot find -lHSieee754-0.8.0-IfCS1Dp7pQVIOQRslM6kD collect2: error: ld returned 1 exit status `gcc' failed in phase `Linker'. (Exit code: 1) How can I fix this error? Am I doing something wrong, or is this a packaging bug? Regards, Jakub K=C4=85dzio=C5=82ka --ryjbffhgiqufbm4z Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEE5Xa/ss9usT31cTO54xWnWEYTFWQFAl9VcHgACgkQ4xWnWEYT FWQ1bg//eSYURip/iRw9QqsBw/L5E492L9Fj8BAQkWTM5ISYDUhm82aVAIDiLXzx eW0QAX8VDBPjJQK+99mJ3/Oykypn1slSIsnPOoNqdue8CmWZoQegFOh+xA3hmXt7 VTPMUWKGmPD3g1TLt2ytKaQwEM++wLEdho4dE7Ure+u81x2f9WMWYpLrp/4QCGiJ +T659G/ngQkGjYuCVRpKBjo1w43dZgvn9ALPKNOAK865dLVVkuOBWDbLeSY4snet ASxWktCwP73wqDF1qMPK/kZjgFmUdRN0FhWblw8yG5zut2u9y9axCI+Ss9SYtDSz WkkeumQoLXEZaHS1VpGBhIIYmNekyzA7KnBGcf/sOf8BaBS7/y9A94acCw2svuFK 2419K56XmXl1ZuD3shLk2z4oro7+kim53/wek1y1qqtmtIGIKOGx5OBbU8pSzJVG LW8v+tGNyZQF/SPTf/Jh2RePMU2cjRip6oOJxDblyMd9FMUd7WXT4Qx+qqHtfAIL DGZsnlhjRjSVvUMsp2svFD+Duai4hZkpOhX7tbU7sk9pRj0DvQ2NdducXVdGEqyK Q39PKp+6sGBc/dSXfOLw8qjzrYZGWAmGdj9rxC2SPVnZ8MjJ3XVluaJv0hy2udED kft/xKZbJVM3YukfHYOn7HY5hArs4w6rJRGIXmbniZaqbuDSFYc= =hl8u -----END PGP SIGNATURE----- --ryjbffhgiqufbm4z--