From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:42282) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jCV1o-0005DJ-3D for guix-patches@gnu.org; Thu, 12 Mar 2020 17:06:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jCV1m-0001vr-GO for guix-patches@gnu.org; Thu, 12 Mar 2020 17:06:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:51906) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jCV1m-0001vc-57 for guix-patches@gnu.org; Thu, 12 Mar 2020 17:06:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jCV1l-0002aM-Vg for guix-patches@gnu.org; Thu, 12 Mar 2020 17:06:01 -0400 Subject: [bug#39862] [PATCH v3 0/2] Add dune-*-openmpi packages Resent-Message-ID: From: Felix Gruber Date: Thu, 12 Mar 2020 22:05:11 +0100 Message-Id: <20200312210513.107891-1-felgru@posteo.net> In-Reply-To: <87k13pvj5u.fsf@gnu.org> References: <87k13pvj5u.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 39862@debbugs.gnu.org Cc: Felix Gruber , Ludovic =?UTF-8?Q?Court=C3=A8s?= Hi Ludo’, thanks for your suggestions regarding the creation of the dune-*-openmpi packages. I've rewritten the add-openmpi-to-dune-package in terms of package-mapping as you suggested. You'll find the modified version of my last two patches in the following two emails. Many thanks, Felix Felix Gruber (2): gnu: dune-*: remove openmpi dependency gnu: define dune-*-openmpi packages gnu/packages/maths.scm | 90 ++++++++++++++++++++++++++++-------------- 1 file changed, 60 insertions(+), 30 deletions(-) -- 2.25.1