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 wEyBJt27K1+UagAA0tVLHw (envelope-from ) for ; Thu, 06 Aug 2020 08:14:21 +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 gKhGIt27K184VgAAB5/wlQ (envelope-from ) for ; Thu, 06 Aug 2020 08:14:21 +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 273DD9404CB for ; Thu, 6 Aug 2020 08:14:21 +0000 (UTC) Received: from localhost ([::1]:43318 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k3b2a-0004Nb-3z for larch@yhetil.org; Thu, 06 Aug 2020 04:14:20 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34994) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k3b2H-0004Kp-P7 for guix-devel@gnu.org; Thu, 06 Aug 2020 04:14:01 -0400 Received: from sender4-of-o51.zoho.com ([136.143.188.51]:21176) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.90_1) (envelope-from ) id 1k3b2F-0006JK-Pn for guix-devel@gnu.org; Thu, 06 Aug 2020 04:14:01 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1596701635; cv=none; d=zohomail.com; s=zohoarc; b=LQzkgcAHm95QEAdRSM1VHPOVu2RaX3iypznGZ8leF7hWmdJd19JA/7VxkzRsC8tR1nTz5GmCNVu0DEayUKq3h1wwFp9fMEcu+4Rh5L6Xgcv6QvT2QD9yYQkdJIPsWIQiZ71TSRSCpvlg8pIMkF4p4MswRSxu9xxHovcIvm6bXDc= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1596701635; h=Content-Type:Content-Transfer-Encoding:Date:From:MIME-Version:Message-ID:Subject:To; bh=I/4RCkBS3T0OfYPZbW80dL51MnW5dNgWT5neB3KC58o=; b=ZIQhLvAgvmfITF331rvoUHrOEFCxRJjePo5jALckkUpqKh+qXAC5wgOesStXO8qo1GdIzYLC++j/MJKiO//eQjf/uRvGY+fbo0H9x8kS3XRRDTQQXsuHK30TVu/IzBAo7U9La57U3AcGyPm7DzZAm6+zP9uTOdPRh/izaekf5Tk= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1596701635; s=zoho; d=elephly.net; i=rekado@elephly.net; h=From:To:Subject:Date:Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding; bh=I/4RCkBS3T0OfYPZbW80dL51MnW5dNgWT5neB3KC58o=; b=QxNlSmL6gNBGh9YL4zhuq2oyjFPLscFV0fWVh8JlYXX+LR2HxMru8DfW3Pw2RZSQ ks6BI/4OAv5zLjBN3NvdJDgztCGlWKdjBFQxo0vxovjCjpaGmQTDj9ejBfDKRIk2t6H Ri3u83HqHAsxWjtKZWQIjObFVe4No9OHOMn/YbF4= Received: from localhost (p54ad4b82.dip0.t-ipconnect.de [84.173.75.130]) by mx.zohomail.com with SMTPS id 1596701629924672.8971974519095; Thu, 6 Aug 2020 01:13:49 -0700 (PDT) User-agent: mu4e 1.4.10; emacs 26.3 From: Ricardo Wurmus To: guix-devel@gnu.org Subject: merge wip-haskell? X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Thu, 06 Aug 2020 10:13:46 +0200 Message-ID: <87mu386vk5.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-ZohoMailClient: External Received-SPF: pass client-ip=136.143.188.51; envelope-from=rekado@elephly.net; helo=sender4-of-o51.zoho.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/08/06 04:13:56 X-ACL-Warn: Detected OS = Linux 3.11 and newer [fuzzy] X-Spam_score_int: -30 X-Spam_score: -3.1 X-Spam_bar: --- X-Spam_report: (-3.1 / 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_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=elephly.net header.s=zoho header.b=QxNlSmL6; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -1.21 X-TUID: 2N92hyR/QnN9 Hey there, wip-haskell contains commits that do a number of things aimed to reduce the closure of packages: 1) make the =E2=80=9Cout=E2=80=9D (and =E2=80=9Clib=E2=80=9D) output indepe= ndent from =E2=80=9Cdoc=E2=80=9D 2) add a =E2=80=9Cdoc=E2=80=9D output to more packages 3) add a =E2=80=9Cstatic=E2=80=9D output for all Haskell packages containin= g the =E2=80=9C.a=E2=80=9D files 4) change ghc-pandoc (and ghc-pandoc-citeproc) to use static linking Number 1 required some smelly hackery: the generated configuration file is edited to remove the =E2=80=9Chaddock-html=E2=80=9D field. One unfortun= ate effect of doing this and moving the .haddock files is that there are now complaints about unresolvable links in generated documentation. I don=E2= =80=99t know if we can avoid this, but it seems like a small price to pay for independent =E2=80=9Cdoc=E2=80=9D outputs. (Otherwise we=E2=80=99d have to= download huge =E2=80=9Cdoc=E2=80=9D outputs even if we don=E2=80=99t want them.) Number 3 required circumventing bug 41569. Number 4 is by far the ugliest change of them all. In order to statically link packages we need to add all the =E2=80=9Cstatic=E2=80=9D ou= tputs of all Haskell inputs *and* the =E2=80=9Cstatic=E2=80=9D outputs of *their* Haskel= l inputs. This is not easily accomplished, so I ended up using =E2=80=9Cpackage-closu= re=E2=80=9D on all direct inputs, and then filtered the result to packages with names starting with =E2=80=9Cghc-=E2=80=9D. If there was a more appropriat= e tool I=E2=80=99d use it, but I don=E2=80=99t think it exists. The result is a much reduced closure for ghc-pandoc and all packages using it (such as R markdown). We should probably rename =E2=80=9Cghc-pand= oc=E2=80=9D to =E2=80=9Cpandoc=E2=80=9D, while we=E2=80=99re at it, because now the pac= kage contains the executable. I suppose we could change this so that =E2=80=9Cghc-pandoc=E2=80=9D is the = usual library package with a new =E2=80=9Cpandoc=E2=80=9D package inheriting from =E2=80= =9Cghc-pandoc=E2=80=9D. I=E2=80=99ll give that a try soon. I=E2=80=99d be happy to hear your comments about all of this, and I=E2=80= =99m looking forward to merging this branch into =E2=80=9Cmaster=E2=80=9D soon. --=20 Ricardo