From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id SMYpHaE1imKFPQEAbAwnHQ (envelope-from ) for ; Sun, 22 May 2022 15:07:45 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id wGUhHaE1imKhMQEA9RJhRA (envelope-from ) for ; Sun, 22 May 2022 15:07:45 +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 24EBF2FA82 for ; Sun, 22 May 2022 15:07:45 +0200 (CEST) Received: from localhost ([::1]:52638 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nslJA-0000Ep-1V for larch@yhetil.org; Sun, 22 May 2022 09:07:44 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:33152) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nslIV-0000DW-5d for guix-patches@gnu.org; Sun, 22 May 2022 09:07:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:50033) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nslIU-0001cz-DU for guix-patches@gnu.org; Sun, 22 May 2022 09:07:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nslIU-0005pw-7I for guix-patches@gnu.org; Sun, 22 May 2022 09:07:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55220] [PATCH v2 2/6] platform: Add discovery support. Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 May 2022 13:07: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: 55220@debbugs.gnu.org Received: via spool by 55220-submit@debbugs.gnu.org id=B55220.165322478722391 (code B ref 55220); Sun, 22 May 2022 13:07:02 +0000 Received: (at 55220) by debbugs.gnu.org; 22 May 2022 13:06:27 +0000 Received: from localhost ([127.0.0.1]:43930 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nslHu-0005p5-VZ for submit@debbugs.gnu.org; Sun, 22 May 2022 09:06:27 -0400 Received: from eggs.gnu.org ([209.51.188.92]:39736) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nslHr-0005oq-DC for 55220@debbugs.gnu.org; Sun, 22 May 2022 09:06:25 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:40592) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nslHm-0001Vl-7r; Sun, 22 May 2022 09:06:18 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=0ZeYpTEVresCEot+IGTKYW6w0hba3VGDxrsu8pV7U7c=; b=oNjQ7bKdkXH7UGnbgAC1 HnyhYvSgfzNQr62F1Gp6zGVYgMT11zP38+1xusqwgSgEzPzrNEJhWxPzYVEXNiW4ME4GB+ERIywm8 ChZzbttq6uQfUZV706ec+gchTCGyfc8aFGCFUKAEA2L220t0cIrB+IU2YlcRd7XR/J02MhFh4+cNm jOzAQb3X9nDX0NDp0eVjcnYrWFpjh158aZUriOlMOTBbSB/jewVoUF/w1REYBwuJWzqGkt1bcZQwh hip3KdNgYPXTIsp4WaxdOFWyRBBm9sDSI8lKYMspKMgjIfallIJcu2R17+2kMdWdnS7WoWez3NXvS KTZ/IYJfWhd/LA==; Received: from [109.190.253.11] (port=41300 helo=meije) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nslHh-00079k-A4; Sun, 22 May 2022 09:06:18 -0400 From: Mathieu Othacehe References: <20220507161126.14553-1-othacehe@gnu.org> <20220507161126.14553-3-othacehe@gnu.org> <830f00ba147aa40618e00e641d2afc61559f419f.camel@telenet.be> Date: Sun, 22 May 2022 15:06:04 +0200 In-Reply-To: <830f00ba147aa40618e00e641d2afc61559f419f.camel@telenet.be> (Maxime Devos's message of "Mon, 09 May 2022 22:58:03 +0200") Message-ID: <87bkvpemyr.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (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=1653224865; 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=0ZeYpTEVresCEot+IGTKYW6w0hba3VGDxrsu8pV7U7c=; b=Icy2ncoqieeGJdWTThQsA2rwSMsq8RFH+9rgYbJMUejmBd0ByT9dkp29GrqctFO23AZMCq VIboTk+lFoVsIUvx0Rw+qXyUKX2mjC0AK5cZmotZtCp2TmkIIIAY2pPdGGBUl8ZW8Vlui7 Y/U+LlcO4kZNI5PU2okncfvtxcZ9dXkX8OiIf1I9VAj/J2ghlDayuVk5HEEIUJ3Fms93tM zZGJKK2sNIyZtYYJ6GAFh6AiethnZWOpSP87gbbDYMPQz4dxhyp6rMFRjEomK5gFkNYSHi d/2ukgb5ta5zy0nTndglSx5+O8IJB4Tfryoa8gzubJxz1+fC72kviU0nA6TULQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1653224865; a=rsa-sha256; cv=none; b=Bnth3ObXOmWc0iU6LIiUeUTJTzpRQ4bDfViIJghTw74EWcpzHih/B7YO6lUH/gdm0sUrQb djvgi2zVHgX+cnoMQ/UgqdKthtbwvzYJxJKTv3q0Vg3GeYNqpXyXLLBdxvSAxXtsRd+gAQ bOWhlczrZMYFZAmmaQDALsuP0V6bDA7xZWID51aFwMtGSHJdO3B/XqQMLxkpOu9S5JxGXf ocZaUbp/SpygA/90z8Ve27t0CHqd8yrqr8SP5TCHcDL3JYTZ2R39NHw3rLgGt6n2bVvI7O maFrG0GWgYTrLAEqR0x7L1XTaplhChV9XtEYoBC2oIrr0pygYXE1R9U2wqpBLA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=oNjQ7bKd; dmarc=pass (policy=none) header.from=gnu.org; 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: -3.55 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=oNjQ7bKd; dmarc=pass (policy=none) header.from=gnu.org; 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: 24EBF2FA82 X-Spam-Score: -3.55 X-Migadu-Scanner: scn0.migadu.com X-TUID: QoIQrk9hffFr Hey, > 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 ... I think that's what we should aim for the future. Getting rid of system/triplet strings and using platforms everywhere instead will be less error prone, even if there is still some work to get there. Mathieu