From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id 2LOvCnFDF2NTgAEAbAwnHQ (envelope-from ) for ; Tue, 06 Sep 2022 14:56:17 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id GAqSCnFDF2O+gwEAauVa8A (envelope-from ) for ; Tue, 06 Sep 2022 14:56:17 +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 C6CDC2B22B for ; Tue, 6 Sep 2022 14:56:16 +0200 (CEST) Received: from localhost ([::1]:60870 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oVY7j-0000Sx-VV for larch@yhetil.org; Tue, 06 Sep 2022 08:56:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52180) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oVX4g-0007E7-N0 for bug-guix@gnu.org; Tue, 06 Sep 2022 07:49:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:32978) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oVX4g-00059N-A2 for bug-guix@gnu.org; Tue, 06 Sep 2022 07:49:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oVX4g-0005e5-2R for bug-guix@gnu.org; Tue, 06 Sep 2022 07:49:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#57116: cling: missing some system header files Resent-From: Maxim Cournoyer Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 06 Sep 2022 11:49:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57116 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Maxime Devos Cc: Liliana Marie Prikler , Gang Liang , 57116@debbugs.gnu.org, zimoun Received: via spool by 57116-submit@debbugs.gnu.org id=B57116.166246492821681 (code B ref 57116); Tue, 06 Sep 2022 11:49:02 +0000 Received: (at 57116) by debbugs.gnu.org; 6 Sep 2022 11:48:48 +0000 Received: from localhost ([127.0.0.1]:49910 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVX4S-0005db-4P for submit@debbugs.gnu.org; Tue, 06 Sep 2022 07:48:48 -0400 Received: from mail-qt1-f182.google.com ([209.85.160.182]:39557) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oVX4O-0005dI-AK for 57116@debbugs.gnu.org; Tue, 06 Sep 2022 07:48:46 -0400 Received: by mail-qt1-f182.google.com with SMTP id r6so7748288qtx.6 for <57116@debbugs.gnu.org>; Tue, 06 Sep 2022 04:48:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:from:to:cc:subject:date; bh=/9TtEH9aG9ezwazTDLnfz3yCT7clQnQWenFdz54Lc1E=; b=el8suu90Zf2mhl9j43GflsdSKSjA6n++xAwXgfQuwt0NG96HtMGMPm1VjiXgQarjD4 yyKEZrW9Ar4wtQrfjv9Tz6OKA6ghLYWV/XK5rOlAty+f5n/SnkPewnyZqa+HJ8QlAsQG d06qtw8QuJ/pKnXRJFrRvsHGr1+LuxJUSmuQt7JXRbUPJV4moZR/qsrQdxvlZE7xBYjP oIEBej1GmZcsSRW7ZYCRLDYbguqvala3TD16Tz9VlLHtW7IV3zuCMQ+FIDMpefl5HJ5F 8+TNEu60AJHTPPmhhWPU7zz0WGyYMM4evffiXEQDp8juT9Gp5EYwan37NZMxR/sct6fb ZaIA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date; bh=/9TtEH9aG9ezwazTDLnfz3yCT7clQnQWenFdz54Lc1E=; b=tnD/dNrybQhw5cNrCt8eSDWkIY+oz0w1dP+LlSrAApA76peKIMpxot3k8CY0JyPg6K VcQvPGRLmZu5qxMh11tGIYflCATSPOczs5zpRjhv42DwlG/fqq2Etxjz+Wj6o/L9rLyx nHNOvFswMYdTsV0CiNP6aGHCYHg8yZgieuNreJHwt0GYBxaL+ofiI2ECpQ2XcT9Lu8qU /v3dRgNWoNMQPkV/d/UOxns9aPQ8lxzn6E4AUOuqxXUXhRmWA/s9tcHFnxWl1n0MTUjl N40TvomXkMBse0beCNAtbyiLvdrRsTClRnhsjIR4MNjYulPxLCEjVGBUVRAyThrzPRp/ bcrw== X-Gm-Message-State: ACgBeo3HZUeovuVL494w6bICigJsyirUwpyqS65M0BbQq4rPdGriiB8z PvJdvvuGXmU0Ul9NKMb9BjSLA9d361Q= X-Google-Smtp-Source: AA6agR5RIFaJMNCsRJdPUi2UnpT+VzxfaLISnQVIkbaou1YL9AKrcTY2Vd52pKLFnAW1OYq2kp1S2A== X-Received: by 2002:a05:622a:391:b0:344:9749:822d with SMTP id j17-20020a05622a039100b003449749822dmr43753257qtx.268.1662464918627; Tue, 06 Sep 2022 04:48:38 -0700 (PDT) Received: from hurd (dsl-10-130-168.b2b2c.ca. [72.10.130.168]) by smtp.gmail.com with ESMTPSA id x11-20020ac87ecb000000b0031ee918e9f9sm9488842qtj.39.2022.09.06.04.48.37 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 06 Sep 2022 04:48:38 -0700 (PDT) From: Maxim Cournoyer References: <87bkrx6q59.fsf@gmail.com> <8635d8yes8.fsf@gmail.com> <67e36ee9-809e-9c99-b2b1-9dee65d00f62@telenet.be> Date: Tue, 06 Sep 2022 07:48:36 -0400 In-Reply-To: <67e36ee9-809e-9c99-b2b1-9dee65d00f62@telenet.be> (Maxime Devos's message of "Sat, 3 Sep 2022 20:12:47 +0200") Message-ID: <87v8q067vv.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1662468976; 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: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=/9TtEH9aG9ezwazTDLnfz3yCT7clQnQWenFdz54Lc1E=; b=FD/FkOTO2RVlRFdFQwxHUJi4D/4kX252wZli/xMfr3e9uLsQYwVR5tvCjuP/0l+Uq+zbbj QxmqqAIHZIbWMoyOW0t9Ik7fOh6mLtcOWAeLLu1gf94lfRj+LTIoQxWgcQulS2AWIvt5pi VXdz0mSQMV163rouKBUUaThDqBWw+4rc07iXNmi5rieuh8D/rwJ/aTYMIM6/o1nOCwMQPP PK042D3iOLUTHWJPom/sP6egSwcR65Uv1lh4oD4I+FlryZVLlTCdV1BtgUH/Fy9fCXrO1y F/dIDriQ8tT3CjksTSr+A0lEvFsN0YIEmGK5nGZvS0+obXOEaJZs4kvoo2ju7A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1662468976; a=rsa-sha256; cv=none; b=gabARDM64OgHbR+1PQwTFaAK9R2d+DAut+yVN+VBsIDJ+5tkTOmnhkc/IO07BoolhXqvWh 9hc/NBGA+ofgqsJU+ozCh3tl6dOI6+xG/GhUUJQTgy3UbQw88ldBVxAmWAUVd25jVao7i6 /FrYWzln+rn7lcmJLr0/dl8qqdKiO/Pyg2sPfu1eaAk80stbM96KkdUEkol4OLVNSEh5mG XDpNy+LhGvI0io4lRRvGDL0QnqMyRbvwdHfDl577GFOP2Uk3z0cbrNuqzm/0gmOXT1IBM8 TAG3htE0oYZ4/k+Vsl2Ufcv5i/7Na5YM3m1JHFvBU/H6RtSvrxEt3RjxM32Zqg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=el8suu90; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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" X-Migadu-Spam-Score: 9.23 X-Spam: Yes Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=el8suu90; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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" X-Migadu-Queue-Id: C6CDC2B22B X-Spam-Score: 9.23 X-Migadu-Spam: Yes X-Migadu-Scanner: scn1.migadu.com X-TUID: 644An/KSQavN Hi, Maxime Devos writes: > On 03-09-2022 11:43, zimoun wrote: >> Hi, >> >> On Sat, 03 Sep 2022 at 00:25, Maxim Cournoyer wrote: >> >>> Should we close it as 'notabug', or persist with the attempt to wrap the >>> cling binary with the include paths required to ease its setup? >> From my understanding about what cling is, we have a similar issue with >> some others packages. Bigloo does not work out of the box [1]: >> >> --8<---------------cut here---------------start------------->8--- >> $ guix shell -C bigloo libunistring gcc-toolchain libgc pcre \ >> -- bigloo /tmp/myfile.scm >> --8<---------------cut here---------------end--------------->8--- >> >> Idem for ghc (Haskell) which requires gcc-toolchain. And I proposed [2] >> to have -toolchain for a ready-to-use X compiling toolsuite where >> could be cling, ghc, bigloo, etc. >> >> For instance, Debian has haskell-platform which includes all a regular >> user needs for a regular Haskell development setup. And we already >> provide gcc-toolchain or clang-toolchain, or even gfortan-toolcahin, >> gdc-toolchain, piet-toolchain, etc. Therefore, we could also have >> the package cling-toolchain propagating all the required packages that >> we currently have to manually specify i.e. gcc-toolchain. >> >> WDYT? >> >> >> 1: https://yhetil.org/guix/878rp3bs1a.fsf@gmail.com >> 2: https://yhetil.org/guix/CAJ3okZ0i0DjQMzgJ9WwzDC2tKc8WeTZxqW46KH+vq9zKbgBzhQ@mail.gmail.com > > I do not see any problems with a X-toolchain (with X=cling,ghc,bigloo, > ...) and they appear to be convenient. > > I'd say, go for it. In the case of cling, I'm not sure if that'd be adapted to the use case (you don't really use cling as a toolchain, but as a REPL to try things interactively), but otherwise I don't see any cons to being able to do that. Thanks, Maxim