From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id AD9bOAQ7Vl9vRQAA0tVLHw (envelope-from ) for ; Mon, 07 Sep 2020 13:52:04 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id eH9lNAQ7Vl8VRwAA1q6Kng (envelope-from ) for ; Mon, 07 Sep 2020 13:52:04 +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 131829401D0 for ; Mon, 7 Sep 2020 13:52:04 +0000 (UTC) Received: from localhost ([::1]:41144 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kFHYx-0006xn-38 for larch@yhetil.org; Mon, 07 Sep 2020 09:52:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:39804) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kFHYp-0006xf-60 for help-guix@gnu.org; Mon, 07 Sep 2020 09:51:55 -0400 Received: from out2-smtp.messagingengine.com ([66.111.4.26]:50375) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kFHYn-0002hE-8t for help-guix@gnu.org; Mon, 07 Sep 2020 09:51:54 -0400 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id 13CCB5C0062; Mon, 7 Sep 2020 09:51:51 -0400 (EDT) Received: from mailfrontend1 ([10.202.2.162]) by compute3.internal (MEProxy); Mon, 07 Sep 2020 09:51:51 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:message-id:mime-version:references:subject:to :x-me-proxy:x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s= fm3; bh=nLdjiBXpUDoRn4u/WxhvK4l8gMXXePCDySbCcFkQsCQ=; b=KII+yc1M mchGwAsX4aCx7VDO2OmYKHMustXv2rt0ANakcK0Mw4gdQqtAlsrwtT1LkWcMcnsq 8ObM2pt0n0471fKXxo5TCRjwMV6xTiOw25a++ZrpvZx9ePA8wUgJK3YczN3bz9mw meRcD17a+wO/Vvmp7LkPfGs9g8DiKUGwRdnJS+peec+pARtqjmL9t5uKewnfJhph 51T6LoNFP8lfyohqSghe15pGIkpLQhuWHKLEACqNg+zeZnM7X4eL71fMr0iu8nNl BSxUhionELyz1xGsujEFYaKUrZXVPkEmmAk7+MuQpFVW4BjjIyK69gA3F7i988/R 1kqcWI8frmIBIw== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduiedrudehtddgjeduucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefhvffufhffkfgfgggtgfesthhqre dttderjeenucfhrhhomhepvfhimhhothhhhicuufgrmhhplhgvuceoshgrmhhplhgvthes nhhghihrohdrtghomheqnecuggftrfgrthhtvghrnhepleejueevhfevudffkeevueefve fgfeefledttdeiueeikefhveejjeejiefhgeefnecukfhppeejgedrudduiedrudekiedr geegnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomhepsh grmhhplhgvthesnhhghihrohdrtghomh X-ME-Proxy: Received: from mrblack (74-116-186-44.qc.dsl.ebox.net [74.116.186.44]) by mail.messagingengine.com (Postfix) with ESMTPA id 815953280064; Mon, 7 Sep 2020 09:51:50 -0400 (EDT) From: Timothy Sample To: Jakub =?utf-8?B?S8SFZHppb8WCa2E=?= Subject: Re: Using Haskell library packages - linker error References: <20200906232752.atko55zzp2pyexvz@gravity> Date: Mon, 07 Sep 2020 09:50:51 -0400 Message-ID: <87eendpuf8.fsf@ngyro.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=66.111.4.26; envelope-from=samplet@ngyro.com; helo=out2-smtp.messagingengine.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/09/07 09:51:51 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] [fuzzy] X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-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: , Cc: help-guix@gnu.org Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=messagingengine.com header.s=fm3 header.b=KII+yc1M; 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: -1.21 X-TUID: 7Rq0ETqQSZEp Hi Jakub, Jakub K=C4=85dzio=C5=82ka writes: > 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? GHC needs a special flag to link shared libraries. We recently starting building shared libraries for our Haskell packages. The static ones are still being built, but they go to a separate output. I think you can fix your problem in one of two ways: 1. Pass the =E2=80=9C-dynamic=E2=80=9D flag to GHC (and maybe =E2=80=9C= -fPIC=E2=80=9D); 2. Use =E2=80=9Cghc-ieee754:static=E2=80=9D. The first is preferred because the second could get really tricky if there are nested dependencies. The fact that the user experience is so wonky is a bit of packaging bug, for sure. I=E2=80=99m not sure how to make it nicer just yet. -- Tim