From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.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 mPUAIYmTiWKWdgAAbAwnHQ (envelope-from ) for ; Sun, 22 May 2022 03:36:09 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id YMMCIImTiWKyVQAAG6o9tA (envelope-from ) for ; Sun, 22 May 2022 03:36:09 +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 039BD2CD6 for ; Sun, 22 May 2022 03:36:09 +0200 (CEST) Received: from localhost ([::1]:47476 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nsaVs-0006XF-6c for larch@yhetil.org; Sat, 21 May 2022 21:36:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56902) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nsaVm-0006Vh-O2 for guix-patches@gnu.org; Sat, 21 May 2022 21:36:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:49376) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nsaVm-0006OH-F1 for guix-patches@gnu.org; Sat, 21 May 2022 21:36:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nsaVm-0003s5-Cg for guix-patches@gnu.org; Sat, 21 May 2022 21:36:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55220] [PATCH 0/4] Add --list-systems and --list-targets options. Resent-From: Maxim Cournoyer Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 May 2022 01:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55220 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Maxime Devos Cc: Mathieu Othacehe , 55220@debbugs.gnu.org Received: via spool by 55220-submit@debbugs.gnu.org id=B55220.165318330814812 (code B ref 55220); Sun, 22 May 2022 01:36:02 +0000 Received: (at 55220) by debbugs.gnu.org; 22 May 2022 01:35:08 +0000 Received: from localhost ([127.0.0.1]:43273 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nsaUu-0003qq-IR for submit@debbugs.gnu.org; Sat, 21 May 2022 21:35:08 -0400 Received: from mail-qk1-f180.google.com ([209.85.222.180]:38707) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nsaUq-0003qD-BS for 55220@debbugs.gnu.org; Sat, 21 May 2022 21:35:07 -0400 Received: by mail-qk1-f180.google.com with SMTP id p123so452276qke.5 for <55220@debbugs.gnu.org>; Sat, 21 May 2022 18:35:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=AZceM/fVODtCH2kImGnhc2YRHaTh4T7KxR35LwsXKEs=; b=CE6FFgA/CQUS091C9r+GWcM0RvxN9Kg/8xVxlAfqfOeAdLy/dyX8EVlte+3vf+ryVy Yc2S1Bzo42xtmob8+LOgEZ78QcMqhVR6+BsPu6eJsA4CkYWVqZf5yl9emxOihw3+Lbm2 Ha6Y1Bbvts6uqXA9iq5GQUHwsgzi5CXu0LjtrbC4Inm2r9hx+zBuVyGPuSA5P1/rSytY w+VSsAp+77+yGCil6SbuIufzFHBAOEDbpPjvPDnUCmho4yOotvWXqTwiq2tHlOI3d2tE aUPHTqT73mSzCxsdtsQfqniZUOvKjeh1jI696mCP9GCyWG2v3yRl3rkCHlprDlasnM/K XTnQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=AZceM/fVODtCH2kImGnhc2YRHaTh4T7KxR35LwsXKEs=; b=YXaSfBs1MrGgFcfsBFO+ckX6zONF9X0EIJNZlY/12O3pWgEyEDz8qO+ntJMmq1apUW 5CyFKk0QZee47CCr4MnXQIRQRZrEM/aXCYJ1+H2cc75BCyeTDGJ2kTtW1ho9c2qFyMia jUgmcEz8NHubTnMDuYxn3vexSlBHwYWoRJ8wl/krZez1dl47Z6MF8NoO7/EHt8BoBiqD Hm2TJmELq2imx6ncQFhUZ3NtzWENAk1kdsXpQn1zcoXWoVh9JrhVES5TEZZhNVRlzPEz 6X9psDlqz5yhSxbp/Wg8Vv0BN6ROUssCpqWYhe4vFP4Nv4HslG+wjSeuft41xTRvaQ0S 1rdg== X-Gm-Message-State: AOAM530P2A42RlVYMY/r0oa18GDXdTXY+wBaojwCBQU+yoDvwSpxKfLJ lx86V3gQlc/L6OD6SgVoar7DhqvSNMApL8U5 X-Google-Smtp-Source: ABdhPJyVTqNSfjpRGkaZNTYKr4gHXdd3uJEJFMzxQJlkLbMmfRzzNVwWMHn9VHK6xcVEAp1opXtV9A== X-Received: by 2002:a05:620a:424e:b0:67e:4c1b:baef with SMTP id w14-20020a05620a424e00b0067e4c1bbaefmr10582297qko.778.1653183298610; Sat, 21 May 2022 18:34:58 -0700 (PDT) Received: from hurd (dsl-152-80.b2b2c.ca. [66.158.152.80]) by smtp.gmail.com with ESMTPSA id h15-20020a05620a10af00b0069fd57d435fsm2152997qkk.101.2022.05.21.18.34.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 21 May 2022 18:34:58 -0700 (PDT) From: Maxim Cournoyer References: <20220507161126.14553-1-othacehe@gnu.org> <20220507161126.14553-3-othacehe@gnu.org> <830f00ba147aa40618e00e641d2afc61559f419f.camel@telenet.be> Date: Sat, 21 May 2022 21:34:46 -0400 In-Reply-To: <830f00ba147aa40618e00e641d2afc61559f419f.camel@telenet.be> (Maxime Devos's message of "Mon, 09 May 2022 22:58:03 +0200") Message-ID: <87a6ba9wp5.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: 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" 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=1653183369; 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=AZceM/fVODtCH2kImGnhc2YRHaTh4T7KxR35LwsXKEs=; b=eBPwavtOEZderZvH5AncHpFQmgWhqvaiRN/aexKwoDAcKN0YE40ApsUJD+rrdTpYdLMDDr eJf5qqCukyd9AryX2L4BOst7l9grRKRuxImHPLJc0N4Bn6j2lDTuNeClUXS8TiEV0clHcE e+kJnUQHPf6o3wtNi9bce/hrWZpgCEimm4rfEAaUI/J+YVGQdyZDR2faeo/9eVTTF+bNTJ a8CRKVaoXBrth850Wf0/SKIzOQCUCjJY7dpvBbb5RO9y+0jPGc60zVfXJVNPjipso9KahI mAwVxQeuPS05ODIYHeEf81YJIDJP0q7P6ghmqOGbDP+jzwCS/pGYWAenaHIMXw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1653183369; a=rsa-sha256; cv=none; b=LvWXs/436KLYqozKNn4ozln+ECcfFtInVLZciPpft+b9Bx5EmrPsSzlTkLIRieKX0nRBQo 6HDfzGkBEfNnqFS1Zpl/ogF4J7etjXI/2gv6MxLzE59w4N2/D+1JHlRiinTQxAReyKdM2t 2rjLtVDOAIUdyIT+emVk3Qc96/3wPX9cUF94i8dj0Oa+kTVi9Jrx0iztVXqSJoCMf9U0Jz TCBFb/+tMeUfAAr7glKrwP+ZUKhWjb/oael+cj3Hzp7MmI0VFVt77FsWYqPw0Nsu6XWwOL d6K8k61d12/4UoBQsdgXmiQTFArcT/aU20RIAfFWp9aPsuIhYAPK0/ySSbCEDQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b="CE6FFgA/"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 5.94 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b="CE6FFgA/"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 039BD2CD6 X-Spam-Score: 5.94 X-Migadu-Scanner: scn1.migadu.com X-TUID: 2CX0rTJwRDkt Hi, Maxime Devos writes: > Mathieu Othacehe schreef op za 07-05-2022 om 18:11 [+0200]: >> * gnu/platform.scm (platform-modules, systems, targets, >> lookup-platform-by-system, lookup-platform-by-target, >> lookup-platform-by-target-or-system >> platform-system->target, >> platform-target->system): New procedures. >> (%platforms): New variable. >> [...] > > Food for later: I'm wondering if it would make sense to (long term) > let %current-system/%current-target-system be a record > and eliminate nix-system->gnu-triplet, gnu-triplet->nix-system in > favour of platform-target & platform-system. That could avoid the > problem of forgetting that targets and nix systems have different > formats, making a class of cross-compilation bugs less likely ... That sounds like a good idea to me. I was bit by that in the past, probably not for the last time. Maxim