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 WF91N/lvVl8oAwAA0tVLHw (envelope-from ) for ; Mon, 07 Sep 2020 17:38:01 +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 UJ11M/lvVl/TaAAA1q6Kng (envelope-from ) for ; Mon, 07 Sep 2020 17:38:01 +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 6A7A49404D3 for ; Mon, 7 Sep 2020 17:38:01 +0000 (UTC) Received: from localhost ([::1]:40816 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kFL5c-0002qO-EE for larch@yhetil.org; Mon, 07 Sep 2020 13:38:00 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:60870) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kFL5V-0002q0-5W for help-guix@gnu.org; Mon, 07 Sep 2020 13:37:53 -0400 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:47125) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kFL5T-0007MK-5R for help-guix@gnu.org; Mon, 07 Sep 2020 13:37:52 -0400 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id 31CD05C00D8; Mon, 7 Sep 2020 13:37:50 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute3.internal (MEProxy); Mon, 07 Sep 2020 13:37:50 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to: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=8DkzDFsnvEzERqxSMUydJVWRnZ7P2bAprY+6gNcE3 3s=; b=F2jBPz/7uN2jk8R3WiHaCczapccE6Qurr4P7KLiEq27zTtodYnf9yV112 m1clmvBYZB/ebZu/hD7Xi61k6oxPn8sQSPKciU/N07adN72OeIR+HxDPOC+9GQOw DCrb7KMfwg0SDVUTf795y2ImEMgxjxO4FPSoFX6XKpQV1rXTexlZ20tHX0/fdvrh jBjY4pOIDGo+iaVVKSxYL9ippB4tnMUExxgFvU6EVCkT36BnPL5u92ZBAxgXyTSv U8SZIkk/t1TSTGMrGXuw0opzkb9W/JAPtGIqh5TgwtPgMZe2WLa/sHCrtGGXqgWh NaxMawCDM3UgS+FyEukPw+RslHB+w== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduiedrudehtddgudduiecutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfgh necuuegrihhlohhuthemuceftddtnecunecujfgurhephffvufhfffgjkfgfgggtgfesth hqredttderjeenucfhrhhomhepvfhimhhothhhhicuufgrmhhplhgvuceoshgrmhhplhgv thesnhhghihrohdrtghomheqnecuggftrfgrthhtvghrnhepvdelvefhheegudevjedvfe dtveeileffveehveejgefgteetteejteeltdefueevnecuffhomhgrihhnpehgnhhurdho rhhgnecukfhppeejgedrudduiedrudekiedrgeegnecuvehluhhsthgvrhfuihiivgeptd enucfrrghrrghmpehmrghilhhfrhhomhepshgrmhhplhgvthesnhhghihrohdrtghomh 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 9D0C73064683; Mon, 7 Sep 2020 13:37:49 -0400 (EDT) From: Timothy Sample To: Jakub =?utf-8?B?S8SFZHppb8WCa2E=?= Subject: Re: Using Haskell library packages - linker error References: <20200906232752.atko55zzp2pyexvz@gravity> <87eendpuf8.fsf@ngyro.com> <20200907152902.x73pun4546wbcnfo@gravity> Date: Mon, 07 Sep 2020 13:36:50 -0400 In-Reply-To: <20200907152902.x73pun4546wbcnfo@gravity> ("Jakub =?utf-8?B?S8SFZHppb8WCa2EiJ3M=?= message of "Mon, 7 Sep 2020 17:29:02 +0200") Message-ID: <878sdlpjyl.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.29; envelope-from=samplet@ngyro.com; helo=out5-smtp.messagingengine.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/09/07 13:37:50 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=F2jBPz/7; 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: GdaSpFRRPV5U Jakub K=C4=85dzio=C5=82ka writes: > On Mon, Sep 07, 2020 at 09:50:51AM -0400, Timothy Sample wrote: > >> 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: >>=20 >> 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. > > ghc-ieee754:static doesn't seem to exist, [...] Right. It does exist, but it=E2=80=99s hidden from the Guix UI. This is a result of the finicky way the output is added. > [...] but passing -dynamic does indeed work. The workaround also > translates to Agda, with > > $ agda --ghc-flag=3D-dynamic --compile hello-world.agda Cool. That=E2=80=99s good to know. > I'd really rather this wasn't necessary, though. I can already imagine > having to figure out how to pass this flag to agda through build systems > and editor plugins. Absolutely. I=E2=80=99ve done some of that work on our more complicated Ha= skell packages, and it can get a little tricky. To be honest, I=E2=80=99m not su= re how to move forward. I know that Arch takes a similar approach to packaging Haskell libraries, but I don=E2=80=99t know how they manage the experience. > On a related note, shouldn't it be possible to use agda without > specifying ghc (and transitively, gcc) in your profile? AIUI, this is following GCC. GCC by itself doesn=E2=80=99t know how to fin= d the assembler, but the =E2=80=9Cgcc-toolchain=E2=80=9D package manages this aut= omatically. Similarly, GHC doesn=E2=80=99t know how to find GCC, and Agda doesn=E2=80= =99t know how to find GHC. We might need to make =E2=80=9Cghc-toolchain=E2=80=9D and =E2= =80=9Cagda-toolchain=E2=80=9D packages (this has sorta been discussed before [1, 2]). At the end of the day, our Haskell ecosystem is in need of some more attention. It=E2=80=99s really not far away from being nice, but it needs = some gentle nudges here and there. -- Tim [1] https://lists.gnu.org/archive/html/guix-devel/2018-08/msg00175.html [2] https://lists.gnu.org/archive/html/guix-devel/2020-04/msg00318.html