summaryrefslogtreecommitdiff
path: root/gnu/local.mk
diff options
context:
space:
mode:
authorFelix Gruber <felgru@posteo.net>2023-05-02 21:59:30 +0200
committerLudovic Courtès <ludo@gnu.org>2023-05-04 13:08:59 +0200
commit59640af1c5348bde628157d265c81f5f9a9bf19f (patch)
tree65c88d293519a7663c726b1677028272350f2d3b /gnu/local.mk
parentfc6c96c88a0e4ad0b9e48272e5f97ffaa6eec36e (diff)
gnu: dune-common: Skip tests that fail on aarch64-linux.
* gnu/packages/patches/dune-common-skip-failing-tests.patch: New file. * gnu/packages/maths.scm (dune-common)[source]: Add it * gnu/local.mk (dist_patch_DATA): Register it. Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/local.mk')
-rw-r--r--gnu/local.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk
index 4305bee89c..5f5de953d7 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -1056,6 +1056,7 @@ dist_patch_DATA = \
%D%/packages/patches/dovecot-trees-support-dovecot-2.3.patch \
%D%/packages/patches/dstat-fix-crash-when-specifying-delay.patch \
%D%/packages/patches/dstat-skip-devices-without-io.patch \
+ %D%/packages/patches/dune-common-skip-failing-tests.patch \
%D%/packages/patches/dune-grid-add-missing-include-cassert.patch \
%D%/packages/patches/dune-istl-fix-solver-playground.patch \
%D%/packages/patches/dvd+rw-tools-add-include.patch \