From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id cESoAqPskGbb9wAAqHPOHw:P1 (envelope-from ) for ; Fri, 12 Jul 2024 08:43:15 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id cESoAqPskGbb9wAAqHPOHw (envelope-from ) for ; Fri, 12 Jul 2024 10:43:15 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=inria.fr header.s=dc header.b=ISJZthbV; dmarc=fail reason="SPF not aligned (relaxed)" header.from=inria.fr (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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1720773795; 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: 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=zF1ZEfUd8qtM9Rkz6GOT8oucwxwF1zrHtqtddVZLLa8=; b=ClKpc+wJitafV9W4QKe2mTZ6HSub0f7GcxG/ejG2iQXrhf9zxCB45EknczDcpx3StdCY+q 6weFIvhQ7K5HGgj/sWt5MOAonKhwVNrstDCJgC1kHGdqx8mVMuaCosardJhirlDPJFeNrg +YEUOk8E6VK0uyuBwsi/Obc969a+M5HB6IBu/S7BWD1F2c0bLmcY1jOGAc06rIMx+6xp+s LP/WjL/XJLxw7KUKRjThM2yl9lP+4o4fT0akFrN3JkIjVALzKLKxhfFSkbcTkp0g0Lq+Z1 pWgqyqW5BE/v4KstRq8hZl9o7/72+s3B0PlKUvtejsYbRCHdDWlWgE79IcOI3A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1720773795; a=rsa-sha256; cv=none; b=iTrbTumadHja2w0uUB47r6zIc68Ccc9MGAU1wxeZL+PzI3EASSUfsGEV1RvT/CJHloIwc9 SfREeTOEfLlYcF5HvPcpTvAjRV1ZKV+CxTAbJwlfW8mOPk/At/bwjfcvPftNhJFYK/VLUy jmP/DKQjOnUgDSc4rWkwoOmEC8l0VEkBjJBnZu0AqRtO2XETiPusr2UwYiOa2EvGqd+Ypw C+cn0OEfbA5Ib1TKCfTbRrnpMPk1Ch7xr+jCZYIoEmv+13m7QbvdmCyZDwATvcrueKheqN yX/HW4NL2/BFlWc9CDjEgepFLHeKVhdEfJh4thb87ivSl45je7VcOpINmqoB5A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=inria.fr header.s=dc header.b=ISJZthbV; dmarc=fail reason="SPF not aligned (relaxed)" header.from=inria.fr (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" 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 DC2337D5D1 for ; Fri, 12 Jul 2024 10:43:14 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sSBrr-0005zB-96; Fri, 12 Jul 2024 04:43:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sSBrq-0005wY-B5 for guix-patches@gnu.org; Fri, 12 Jul 2024 04:43:02 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sSBrp-0001Pv-W9 for guix-patches@gnu.org; Fri, 12 Jul 2024 04:43:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sSBrq-0004lz-2r for guix-patches@gnu.org; Fri, 12 Jul 2024 04:43:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#72062] [PATCH 3/4] gnu: Add openmpi-5. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 12 Jul 2024 08:43:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72062 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Romain GARBAGE Cc: 72062@debbugs.gnu.org Received: via spool by 72062-submit@debbugs.gnu.org id=B72062.172077377618331 (code B ref 72062); Fri, 12 Jul 2024 08:43:02 +0000 Received: (at 72062) by debbugs.gnu.org; 12 Jul 2024 08:42:56 +0000 Received: from localhost ([127.0.0.1]:53162 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sSBrk-0004lb-5e for submit@debbugs.gnu.org; Fri, 12 Jul 2024 04:42:56 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:11415) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sSBrh-0004lJ-T2 for 72062@debbugs.gnu.org; Fri, 12 Jul 2024 04:42:54 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:cc:subject:in-reply-to:references:date: message-id:mime-version:content-transfer-encoding; bh=zF1ZEfUd8qtM9Rkz6GOT8oucwxwF1zrHtqtddVZLLa8=; b=ISJZthbVRZ5cSVdElzCv3VmEQb/kW+M3QfW+kR4LlMOQ3tdefkL3J6+d +Jfd5TL+EdCAP9xUcgayfxaCEkDavwg/A3kKUnjl/K+qY7Oxxgj9rvRl3 NZL2cozvLIibkUhJsw/bF+FAdV6TDIQQjlkjbawLy9Uy59V4cJl/AHYIl s=; X-IronPort-AV: E=Sophos;i="6.09,202,1716242400"; d="scan'208";a="92014154" Received: from 91-160-117-201.subs.proxad.net (HELO ribbon) ([91.160.117.201]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 12 Jul 2024 10:42:48 +0200 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= In-Reply-To: <20240711143540.25601-3-romain.garbage@inria.fr> (Romain GARBAGE's message of "Thu, 11 Jul 2024 16:35:24 +0200") References: <20240711143540.25601-1-romain.garbage@inria.fr> <20240711143540.25601-3-romain.garbage@inria.fr> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: Quintidi 25 Messidor an 232 de la =?UTF-8?Q?R=C3=A9volution, ?= jour de la Pintade 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: Fri, 12 Jul 2024 10:42:47 +0200 Message-ID: <87msmnypa0.fsf@inria.fr> User-Agent: Gnus/5.13 (Gnus v5.13) 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: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -2.30 X-Spam-Score: -2.30 X-Migadu-Queue-Id: DC2337D5D1 X-Migadu-Scanner: mx11.migadu.com X-TUID: qlA9am3Zi4/r Romain GARBAGE skribis: > +(define-public openmpi-5 Also, probably as a separate patch, you could rename =E2=80=98openmpi=E2=80= =99 to =E2=80=98openmpi-4=E2=80=99 and add: (define-public openmpi openmpi-4) That way, we=E2=80=99ll only have to touch that variable when we decide to upgrade wholesale. WDYT? Ludo=E2=80=99.