From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:470:142:3::10]:60834)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jRJ0f-0002jD-If
 for guix-patches@gnu.org; Wed, 22 Apr 2020 13:18:05 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jRJ0d-0005VM-7E
 for guix-patches@gnu.org; Wed, 22 Apr 2020 13:18:05 -0400
Received: from debbugs.gnu.org ([209.51.188.43]:41545)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1jRJ0c-0005Ts-QO
 for guix-patches@gnu.org; Wed, 22 Apr 2020 13:18:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jRJ0c-0000Su-KB
 for guix-patches@gnu.org; Wed, 22 Apr 2020 13:18:02 -0400
Subject: bug#40448: [PATCH] gnu: maths: dune-*: Update to version 2.7
Resent-To: guix-patches@gnu.org
Resent-Message-ID: <handler.40448.D40448.15875758691764.done@debbugs.gnu.org>
From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
References: <20200405125141.52724-1-felgru@posteo.net>
Date: Wed, 22 Apr 2020 19:17:34 +0200
In-Reply-To: <20200405125141.52724-1-felgru@posteo.net> (Felix Gruber's
 message of "Sun, 5 Apr 2020 14:51:41 +0200")
Message-ID: <87h7xbv3rl.fsf@gnu.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-patches>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org
Sender: "Guix-patches" <guix-patches-bounces+kyle=kyleam.com@gnu.org>
To: Felix Gruber <felgru@posteo.net>
Cc: 40448-done@debbugs.gnu.org

Hi,

Felix Gruber <felgru@posteo.net> skribis:

> * gnu/packages/maths.scm (dune-*): Update to version 2.7.
> (dune-uggrid)[source] Download from Git, as no release tarball for
> version 2.7 exists.
> (dune-alugrid,dune-subgrid,dune-pdelab)[source] Use commit hashes as no
> tags for version 2.7 exist (yet?).
> (dune-istl)[source](patches) Add patch required to build version 2.7
> without openmpi.
> * gnu/packages/patches/dune-istl-2.7-fix-non-mpi-tests.patch: New file.
> * gnu/local.mk (dist_patch_DATA): Add it.

Applied thanks!

(It took quite a while to build on x86_64!)

Ludo=E2=80=99.