From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id GMBuBBLFDWW4/wAAauVa8A:P1 (envelope-from ) for ; Fri, 22 Sep 2023 18:47:14 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id GMBuBBLFDWW4/wAAauVa8A (envelope-from ) for ; Fri, 22 Sep 2023 18:47:14 +0200 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 F412D5CF4A for ; Fri, 22 Sep 2023 18:47:13 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=gzQ85rRe; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1695401234; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=9pYmh60PZMsy/WjrEJAsQXG4ORT/RrzopE+0c9LIAVY=; b=RfZlOxeKgqrNrwrT0YdxrRPv99peec9X31npTdwOgsqoeZHbGEIQjX4iI65pp6P04JNX2H zTYq17a8Loz7g1E2U1mzGRV2SdNzUJTxTMzLVKNN0HF5N4+QyCnu9XrzVSgbdZOlI52Axl mGWrskLhvMwyQM8cLcu2BBK9ZKuYMs/1tFSli9YYEWNnEHI8C3CZOM3Qv2SBkZNGt5QRh1 bj4DMib29m3v1E2YfMXx/AfnWWyib0hr+g8WKKgVE/lB8R+J1puz3bBAoDCMgsCXmHnDfo pxWR44/495fBThQjbl496wx077x9ujNGR1RO7vqOVtF+6J7awlKIVR2zYtoEuA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1695401234; a=rsa-sha256; cv=none; b=W8SIowSNnU6DRE6d4kLY3SssiiDprjoEP0fnFr4cCl9TeRVvJhzHAQDGuTndwmZ/t62yAl IUiaLVcMD6nXxjHe37cxMLNVCzSdEEGJ4hpOFoyf8oJlDtkPO2PYJe7vFEHUIPEtMG3Xax e9ouHy/nrDY0a4q0uz1mzTjdUylONRy5R5mH6Pk+QxqrFdZ+slqMt628QXZqWxRXzWv2ml oHkM0V79moIQ+57rvPd2JjStrHcJfl9UknZGy9siy7RsG8ea5GK2SLO6q0lqdq+Nng+2M0 uwtxgJ9V1/N6L5AJqXNNI/QEyZxSlFp4nbFCaLns8znMY3gAKW3vheEIf8Tt2w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=gzQ85rRe; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qjjIr-0008BD-Df; Fri, 22 Sep 2023 12:46:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qjjIp-00089u-U4 for bug-guix@gnu.org; Fri, 22 Sep 2023 12:46:51 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qjjIp-0007eR-JG for bug-guix@gnu.org; Fri, 22 Sep 2023 12:46:51 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qjjJ0-0006Ql-7I for bug-guix@gnu.org; Fri, 22 Sep 2023 12:47:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#51213: ghci missing reference to gcc Resent-From: Simon Tournier Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 22 Sep 2023 16:47:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 51213 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Jack Hill Cc: 51213@debbugs.gnu.org Received: via spool by 51213-submit@debbugs.gnu.org id=B51213.169540116924631 (code B ref 51213); Fri, 22 Sep 2023 16:47:02 +0000 Received: (at 51213) by debbugs.gnu.org; 22 Sep 2023 16:46:09 +0000 Received: from localhost ([127.0.0.1]:37233 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qjjI9-0006P6-1d for submit@debbugs.gnu.org; Fri, 22 Sep 2023 12:46:09 -0400 Received: from mail-wm1-x32b.google.com ([2a00:1450:4864:20::32b]:41174) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qjjHw-0006N0-7b for 51213@debbugs.gnu.org; Fri, 22 Sep 2023 12:45:58 -0400 Received: by mail-wm1-x32b.google.com with SMTP id 5b1f17b1804b1-40506bfca64so8175905e9.0 for <51213@debbugs.gnu.org>; Fri, 22 Sep 2023 09:45:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1695401139; x=1696005939; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:user-agent:message-id :in-reply-to:date:references:subject:cc:to:from:from:to:cc:subject :date:message-id:reply-to; bh=9pYmh60PZMsy/WjrEJAsQXG4ORT/RrzopE+0c9LIAVY=; b=gzQ85rRem4kzQW8eM2C248BZTYD7+0YQo/S9vkk4JdmHNXRVAE+IZmlMUp00qXOV5S jqJz9SHbPUGK8hLwFrNputgak9IEVYmFb42dZ6Tbdr4IMEHpoa5OXiCyVIc2km1Z+5AK JX+thq0MVsSMKR/XVslMT9D0/beZl2EmVoJJKNGgiafx+UVHbzNdvxEnamW2ytqS1YEX cBGDlagmzgU7O4qavzSNcP/xBI3Ypdz5mvIsDhvuxV5Zx3CTZNnig9BsNlDKqd0WiWo7 1ScKKKwjcZ5k49opR7akcmlDefMOkU87w0y9v60teq2gVCXCJ1o/xJ+EWVCYAO8Bj3/t hZ0w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1695401139; x=1696005939; h=content-transfer-encoding:mime-version:user-agent:message-id :in-reply-to:date:references:subject:cc:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=9pYmh60PZMsy/WjrEJAsQXG4ORT/RrzopE+0c9LIAVY=; b=o10xPbrNgz8Ossf/Bmd6TEmFC26jPm8IqivAqInb5e/H8xxSM2P3aGQwemJARZJ7XH zcHIerSLA0T3en+q7g2OGSZT56DkzEZ6RKjQJ9yQviVxl4fjLQ7kl1/y+dIFL6Mlbokv fBTO0u8p/i3+ETyJ1GcDJMvzIev/yXbyDfspRiM7FVO5tp9MhDVq/O8RL0iXvXFM8hBm OAqzYAeG1aGC3+bgFVwP9ZQax0x2aCJXzpBobw5d/y5v3oA/Uz4U+KmhA9PHzubv9V4R d8bCo1MxBqwgLh6yI+mnVwmQaFaOYArvsoD+jjpHbWjgSbonQ7ShuzIP7144X+XOiNM6 E3aQ== X-Gm-Message-State: AOJu0YwN0S3eNoKN+BWtFjU4BlK/L6+YHODTt3nOk1QoUblboUgBSTvw s6sg1BAJ6bmbUmhuSnodcxN7mYCGtU0= X-Google-Smtp-Source: AGHT+IEZTtT7934mReszxwlCMi0LKt1Clfr/KJyN7kC7BkNz8+IXsk3XJ/jUjoe+sSOurb3Yq5NwOg== X-Received: by 2002:adf:fd01:0:b0:319:7624:4c88 with SMTP id e1-20020adffd01000000b0031976244c88mr275997wrr.0.1695401139382; Fri, 22 Sep 2023 09:45:39 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id a4-20020adff7c4000000b0031fc9402b47sm4935183wrq.4.2023.09.22.09.45.38 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 22 Sep 2023 09:45:38 -0700 (PDT) From: Simon Tournier References: Date: Fri, 22 Sep 2023 18:19:09 +0200 In-Reply-To: (Jack Hill's message of "Thu, 14 Oct 2021 16:00:45 -0400 (EDT)") Message-ID: <8734z689ky.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: bug-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Spam-Score: 3.31 X-Migadu-Spam-Score: 3.31 X-Migadu-Scanner: mx1.migadu.com X-Migadu-Queue-Id: F412D5CF4A X-TUID: Dy7cdvuIabJr Hi, On Thu, 14 Oct 2021 at 16:00, Jack Hill wrote: > $ guix environment --ad-hoc ghc -- ghci > GHCi, version 8.10.7: https://www.haskell.org/ghc/ :? for help > ghc: could not execute: gcc This is currently expected. > but if gcc-toolchain is included, it can: One option is to have a package =E2=80=9Cghc-toolchain=E2=80=9C which provi= de ghc and all the other required packages. I have some patches for that somewhere. :-) For now, I propose to close and just add gcc-toolchain. WDYT? Cheers, simon