From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.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 mHxHHFqadmIpcwAAbAwnHQ (envelope-from ) for ; Sat, 07 May 2022 18:12:10 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id UAwyHFqadmI5bAEAauVa8A (envelope-from ) for ; Sat, 07 May 2022 18:12:10 +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 30CCC2AE84 for ; Sat, 7 May 2022 18:12:10 +0200 (CEST) Received: from localhost ([::1]:44984 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nnN2O-00068i-NI for larch@yhetil.org; Sat, 07 May 2022 12:12:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:37668) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nnN2I-00067R-4k for guix-patches@gnu.org; Sat, 07 May 2022 12:12:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:58910) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nnN2H-00038G-Re for guix-patches@gnu.org; Sat, 07 May 2022 12:12:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nnN2H-0006Mu-Hx for guix-patches@gnu.org; Sat, 07 May 2022 12:12:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55220] [PATCH v2 0/6] Add --list-systems and --list-targets options. References: <20220502111715.13500-1-othacehe@gnu.org> In-Reply-To: <20220502111715.13500-1-othacehe@gnu.org> Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 07 May 2022 16:12:01 +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: 55220@debbugs.gnu.org Cc: Mathieu Othacehe Received: via spool by 55220-submit@debbugs.gnu.org id=B55220.165193990124375 (code B ref 55220); Sat, 07 May 2022 16:12:01 +0000 Received: (at 55220) by debbugs.gnu.org; 7 May 2022 16:11:41 +0000 Received: from localhost ([127.0.0.1]:52785 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nnN1x-0006L3-Bj for submit@debbugs.gnu.org; Sat, 07 May 2022 12:11:41 -0400 Received: from eggs.gnu.org ([209.51.188.92]:44326) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nnN1v-0006Kg-Lc for 55220@debbugs.gnu.org; Sat, 07 May 2022 12:11:40 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:41064) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nnN1q-00031z-8E for 55220@debbugs.gnu.org; Sat, 07 May 2022 12:11:34 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:Subject:To:From:in-reply-to: references; bh=EPCA5YithR5Vx47CjvyAH+rsNv15NSRqtL5fj7FQzMY=; b=kBrdCKX3asmsSJ IPHgW5KJ36RjcMgk53Eockbuz2Ca7VvPyt98q2wMK0dHUUV0Q9zNOMrIks63AcLdeQ0OrDvnGq988 JZ87S+TqxQjHkx16cqlvLYI6lEiYp7R9+gW+DHynfSDR2yMdZxvyrpLotbdily60jb7klWv1fTjPM oBCsqkVtZ8ARGa7+As8xRHeaVchjwK8Ft4ITYaamJRBQni8h8goeWwwzZ8Y9dZdJaBX6+Wwhr/d7Q mnUUqnSIiYH74NXAj+sjbSn8qjwF2o4BxOHzthUOwUTPLrANTXHtS1/sreiYhU7tTXl6SYSDjxsM0 PWBWjsjvLatysW81WLuA==; Received: from 71.125.192.77.rev.sfr.net ([77.192.125.71]:40324 helo=localhost.localdomain) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nnN1p-0004uM-R1; Sat, 07 May 2022 12:11:34 -0400 From: Mathieu Othacehe Date: Sat, 7 May 2022 18:11:20 +0200 Message-Id: <20220507161126.14553-1-othacehe@gnu.org> X-Mailer: git-send-email 2.36.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit 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=1651939930; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: 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=EPCA5YithR5Vx47CjvyAH+rsNv15NSRqtL5fj7FQzMY=; b=kH1tnW1bUhze/lZoJt7keOzarcohErzpHTBCIw0KazJbb+sxKnltxIdcU4aoZefmq8gBY+ sZJ4B7tfP+diHgMI6cDrDw3MzFw5GT7V99veZYHntPR/d3x0nW5tJjQgDiwjjCC+ipHuIH nnuJYjOgoKACO7HHBdYB9qCocd16lXIeIlLkWc8pDvFJfmrF+a4fJJr3e5yo7voXiOrndi su4WQlm9tTZ6yumg5AN5odSLWqp8aih/oVzFnY+4OBko410ZT1+/LDAkr9ws7eqIzhKHCd njy18+Q/8QqVZfreXqpwWYNxzk9q9ksmrmey7q/qzcN4v3eh3GwjwDtT/Krdcw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1651939930; a=rsa-sha256; cv=none; b=uOR0QHUZrcIsafTcB/3HyuwteCZwfZyvvl2XF5vXOZpXY2LM4SnPis+oijPaaHIJtCelr+ XTML9jIAEDLhIUgiMzP1cTp635cYujALmnX/HT7MQ5kP/D4ihN7AdiZsJI/qFn/pOsLVok QoPAbKFLALZaJwRFnWTcT3TrHBVwckYUDyYzVNMOTH9CngJVfQTglNc5bXgcyZ9vcXvg4Y Jo1Yy5OR5IUT+itTYS3eqQiSLQYL4HSHqubnp/eRADMSIDl0hh4U7h/7k7LS3yRBpy6ilK LaHRz2xCCmkJPUfL9jECNWWXwG8imou/fa11p6Ou5QC/dbrMiZu4rj6+mVOcZw== 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=kBrdCKX3; 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: -2.30 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=kBrdCKX3; 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: 30CCC2AE84 X-Spam-Score: -2.30 X-Migadu-Scanner: scn0.migadu.com X-TUID: Nu/as9KifxxL Hello, In this second version, I took Ludo remarks into account. I also added two new patches: platform: Add glibc-dynamic-linker field. ... so that the glibc-dynamic-linker procedure is using the records, and, linux: Remove system->linux-architecture procedure. ... so that all the callers of this procedure now rely on records. This brings us closer to having all the system specific definitions stored in once place. Next stop is maybe to have (gnu platform) pointing to the bootstrap executables? Thanks, Mathieu Mathieu Othacehe (6): platform: Introduce new platforms. platform: Add discovery support. ci: Do not rely on hardcoded cross-targets lists. scripts: Add --list-systems and --list-targets options. platform: Add glibc-dynamic-linker field. linux: Remove system->linux-architecture procedure. doc/guix.texi | 38 ++++++---- etc/release-manifest.scm | 4 +- gnu/ci.scm | 15 +--- gnu/local.mk | 5 ++ gnu/packages/bioinformatics.scm | 11 ++- gnu/packages/bootstrap.scm | 47 ++++++------ gnu/packages/cross-base.scm | 4 +- gnu/packages/instrumentation.scm | 8 +- gnu/packages/linux.scm | 34 +++------ gnu/platform.scm | 113 +++++++++++++++++++++++++++-- gnu/platforms/arm.scm | 6 +- gnu/platforms/hurd.scm | 3 +- gnu/platforms/intel.scm | 52 +++++++++++++ gnu/platforms/mips.scm | 30 ++++++++ gnu/platforms/powerpc.scm | 38 ++++++++++ gnu/platforms/riscv.scm | 30 ++++++++ gnu/platforms/s390.scm | 30 ++++++++ guix/build-system/linux-module.scm | 4 +- guix/scripts/archive.scm | 20 ++--- guix/scripts/build.scm | 84 ++++++++++++++++++--- guix/scripts/environment.scm | 11 +-- guix/scripts/graph.scm | 15 ++-- guix/scripts/pack.scm | 20 ++--- guix/scripts/pull.scm | 12 ++- guix/scripts/size.scm | 13 ++-- guix/scripts/weather.scm | 11 ++- 26 files changed, 489 insertions(+), 169 deletions(-) create mode 100644 gnu/platforms/intel.scm create mode 100644 gnu/platforms/mips.scm create mode 100644 gnu/platforms/powerpc.scm create mode 100644 gnu/platforms/riscv.scm create mode 100644 gnu/platforms/s390.scm -- 2.36.0