From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:55043) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jDA4x-0003G2-58 for guix-patches@gnu.org; Sat, 14 Mar 2020 12:56:03 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jDA4w-0007mo-AA for guix-patches@gnu.org; Sat, 14 Mar 2020 12:56:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:56143) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jDA4w-0007m2-72 for guix-patches@gnu.org; Sat, 14 Mar 2020 12:56:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jDA4w-0006tf-6I for guix-patches@gnu.org; Sat, 14 Mar 2020 12:56:02 -0400 Subject: bug#39862: [PATCH v4 1/2] gnu: dune-*: remove openmpi dependency Resent-To: guix-patches@gnu.org Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <87blp0pp4d.fsf@gnu.org> <20200313173038.4175-1-felgru@posteo.net> Date: Sat, 14 Mar 2020 17:55:34 +0100 In-Reply-To: <20200313173038.4175-1-felgru@posteo.net> (Felix Gruber's message of "Fri, 13 Mar 2020 18:30:37 +0100") Message-ID: <877dzmkha1.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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: Felix Gruber Cc: 39862-done@debbugs.gnu.org Hi, Felix Gruber skribis: > * gnu/packages/maths.scm (dune-*)[inputs]: Remove openmpi dependency. > [arguments]: remove code to setup openmpi for tests. [...] > * gnu/packages/maths.scm (dune-common-openmpi, dune-geometry-openmpi, > dune-istl-openmpi, dune-typetree-openmpi, dune-uggrid-openmpi, > dune-grid-openmpi, dune-alugrid-openmpi, dune-subgrid-openmpi, > dune-localfunctions-openmpi, dune-functions-openmpi, > dune-pdelab-openmpi): New variables. > (add-openmpi-to-dune-package): New function to add openmpi to the > inputs of a dune-* package and replace all dune-* packages in its > input with the corresponding dune-*-openmpi package. Pushed, thanks! Ludo=E2=80=99.