From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id sJQwJjUx2V8lbQAA0tVLHw (envelope-from ) for ; Tue, 15 Dec 2020 21:57:09 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id CDAKIjUx2V+NYAAA1q6Kng (envelope-from ) for ; Tue, 15 Dec 2020 21:57:09 +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 5F1959404CE for ; Tue, 15 Dec 2020 21:57:09 +0000 (UTC) Received: from localhost ([::1]:55328 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kpIJg-0007RF-BC for larch@yhetil.org; Tue, 15 Dec 2020 16:57:08 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:44052) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kpIJZ-0007R8-Ro for guix-patches@gnu.org; Tue, 15 Dec 2020 16:57:01 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:47836) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kpIJZ-0004NO-KX for guix-patches@gnu.org; Tue, 15 Dec 2020 16:57:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kpIJZ-0001po-JT for guix-patches@gnu.org; Tue, 15 Dec 2020 16:57:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#45020] [PATCH 0/2] image: Add system field. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 15 Dec 2020 21:57:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 45020 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: zimoun Received: via spool by 45020-submit@debbugs.gnu.org id=B45020.16080693877004 (code B ref 45020); Tue, 15 Dec 2020 21:57:01 +0000 Received: (at 45020) by debbugs.gnu.org; 15 Dec 2020 21:56:27 +0000 Received: from localhost ([127.0.0.1]:59382 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kpIJ1-0001ot-3s for submit@debbugs.gnu.org; Tue, 15 Dec 2020 16:56:27 -0500 Received: from eggs.gnu.org ([209.51.188.92]:50404) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kpIJ0-0001of-18 for 45020@debbugs.gnu.org; Tue, 15 Dec 2020 16:56:26 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:35420) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kpIIu-00047w-PO; Tue, 15 Dec 2020 16:56:20 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=36816 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1kpIIr-0005m2-5s; Tue, 15 Dec 2020 16:56:18 -0500 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20201203105353.149482-1-othacehe@gnu.org> <87eejw5lsn.fsf@gnu.org> <87h7orpgsh.fsf@gnu.org> <86im97fbjt.fsf@gmail.com> <87pn3dzt9m.fsf@gnu.org> <86r1nrma5m.fsf@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 25 Frimaire an 229 de la =?UTF-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Tue, 15 Dec 2020 22:56:15 +0100 In-Reply-To: <86r1nrma5m.fsf@gmail.com> (zimoun's message of "Tue, 15 Dec 2020 15:11:33 +0100") Message-ID: <87eejqlon4.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (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: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Mathieu Othacehe , 45020@debbugs.gnu.org Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -2.81 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; 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-Migadu-Queue-Id: 5F1959404CE X-Spam-Score: -2.81 X-Migadu-Scanner: scn0.migadu.com X-TUID: 68FhHY8ET94H Hi, zimoun skribis: >> --8<---------------cut here---------------start------------->8--- >> ;; Description of a platform supported by the GNU system. >> (define-record-type* platform make-platform >> platform? >> (triplet platform-triplet) ;"x86_64-linux-gnu"= =20=20=20=20 >> (system-type platform-system-type) ;"x86_64-linux"=20=20= =20=20=20=20=20=20 >> (linux-architecture platform-linux-architecture) ;"amd64"=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20 >> (kernel platform-kernel) ;=20=20=20= =20=20=20=20=20=20=20=20=20=20 >> (ld.so platform-ld.so) ;"ld-linux-x86-64.so.= 2" >> (gcc platform-gcc) ; >> (binutils platform-binutils) ; >> (libc platform-transform-libc)) ;=20=20=20 >> --8<---------------cut here---------------end--------------->8--- > > Naively and what confuse me is the redundancy of the information. For > example, is it possible to do something else than =E2=80=9Cgnu=E2=80=9D? = Or when one > thing is fixed, other parameters are also fixed, for instance does it > make sense > > "x86_64-linux-gnu"=20=20=20=20 > "i686-hurd"=20=20=20=20=20=20=20=20 > "arm"=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 > "ld-hurd-arm.so.2" > > ? For a given platform, say =E2=80=9CGNU/Hurd on i586=E2=80=9D, all the param= eters are fixed, with some degrees of liberty on the toolchain, though. However, currently that information is scattered across different places, so the goal here would be to gather it all in one place, which should facilitate porting to new platforms. Ludo=E2=80=99.