From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id MFshFwDE916lHAAA0tVLHw (envelope-from ) for ; Sat, 27 Jun 2020 22:11:12 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id WADREgDE916uVgAAbx9fmQ (envelope-from ) for ; Sat, 27 Jun 2020 22:11:12 +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 A7CD094053F for ; Sat, 27 Jun 2020 22:11:11 +0000 (UTC) Received: from localhost ([::1]:52828 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jpJ2T-0004ho-Ic for larch@yhetil.org; Sat, 27 Jun 2020 18:11:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58656) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jpJ2M-0004hd-VR for guix-patches@gnu.org; Sat, 27 Jun 2020 18:11:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33213) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jpJ2M-00075j-LU for guix-patches@gnu.org; Sat, 27 Jun 2020 18:11:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jpJ2M-0000eU-Er for guix-patches@gnu.org; Sat, 27 Jun 2020 18:11:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#42014] [PATCH] WIP: gnu: Re-bootstrap Haskell with GHC 8.2.2 binaries. Resent-From: Alex Griffin Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 27 Jun 2020 22:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42014 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: "42014@debbugs.gnu.org" <42014@debbugs.gnu.org> Received: via spool by 42014-submit@debbugs.gnu.org id=B42014.15932958052436 (code B ref 42014); Sat, 27 Jun 2020 22:11:02 +0000 Received: (at 42014) by debbugs.gnu.org; 27 Jun 2020 22:10:05 +0000 Received: from localhost ([127.0.0.1]:44759 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jpJ1R-0000dD-Do for submit@debbugs.gnu.org; Sat, 27 Jun 2020 18:10:05 -0400 Received: from mail-40131.protonmail.ch ([185.70.40.131]:61929) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jpJ1P-0000cb-Ha for 42014@debbugs.gnu.org; Sat, 27 Jun 2020 18:10:05 -0400 Date: Sat, 27 Jun 2020 22:09:48 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ajgrf.com; s=protonmail; t=1593295797; bh=D0HpaTw74MeHUdILiXfy1NFHkMNjU69/5LbPgZG3970=; h=Date:To:From:Reply-To:Subject:In-Reply-To:References:From; b=mIlXyfB2TtwVRXEl0h19v3vBQdnRJ+B1dijci67IXv/HPZW3Ehm1K3a9drC2Jn3IM f0fIQGRu/uOLB0jdrYc5jevXwMJ4dqE/IDeKfLnWPLzrDhtC537RNAW3s1mgMWjGIR N3D8/fJz0GxRA8BH3fEFzrpScwj0ra4nA/mxdkzhapP8qeg19ZDcCTEM8+smgj8oON Oli0xxSld1Qe137CrV/MiwYnoD7ZiiQX6Nf2IJknmWvoOwCZeTf3rEsOGva8MiPyw0 ZCYg12YKoxJ2kAC5B6I+X8oTF5KBgwrJNrSwLEBKD4o5Sy9rmeaBFtXPePEnRPqFzB vigJPRjQ/Uutw== Message-ID: In-Reply-To: <87h7uwp5mm.fsf@elephly.net> References: <87h7uwp5mm.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.7 (-) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" Reply-to: Alex Griffin , Alex Griffin via Guix-patches From: Alex Griffin via Guix-patches via X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=ajgrf.com header.s=protonmail header.b=mIlXyfB2; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: -0.01 X-TUID: y47Rd52rCE2e Hi Ricardo, I actually had the same thought, and asked about it on IRC with no response= . So I just did the simplest thing I could to get started. Once we have a w= orking compiler on ARM, it should be pretty easy to restore the old x86 boo= tstrap path. In particular, the complexities of having the GHC 8.4 package bootstrapped = from upstream binaries on some architectures vs a previous package on other= s, just seemed like an unnecessary distraction until we can work through th= e build problems on ARM. -- Alex Griffin =E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90 Original Me= ssage =E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90=E2=80=90 On Saturday, June 27, 2020 9:21 PM, Ricardo Wurmus wro= te: > > > Alex Griffin via Guix-patches viaguix-patches@gnu.org writes: > > > This patch replaces the GHC 7.8.4 bootstrap binaries with binaries of > > GHC 8.2.2, with an eye towards supporting ARM systems. I have not yet > > succeeded in bootstrapping GHC on ARM, but 8.2.2 is the first release > > with official binary distributions for both armv7 and aarch64. > > Can we do this only for armhf and aarch64? I wouldn=E2=80=99t like to rep= lace > the bootstrap binary for the other architectures with a newer version > without a good reason. (We should aim to remove the binary completely, > not replace it with newer and newer versions.) > > -------------------------------------------------------------------------= ---------------------------------------------------------------------------= ---------------------------------------------------------------------------= ------------------------------------- > > Ricardo