diff options
author | zimoun <zimon.toutoune@gmail.com> | 2023-04-20 15:23:33 +0200 |
---|---|---|
committer | Andreas Enge <andreas@enge.fr> | 2023-04-26 14:34:23 +0200 |
commit | c3509c2148ee74b66a7e4338c626cd3b582ab51c (patch) | |
tree | f5c46d63b661596863cc0994db9b10fa6acbca0d /gnu/packages/patches | |
parent | 50dcd1acd7c62152da266b6686a442e26dd88a45 (diff) |
gnu: valgrind: Update to 3.20.0.
* gnu/packages/valgrind.scm (valgrind): Update to 3.20.0. Remove patch.
[arguments]<phases>: Remove trailing #t.
* gnu/packages/patches/valgrind-enable-arm.patch: Delete file.
* gnu/packages/valgrind.scm (dist_patch_DATA): Unregister patch.
Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'gnu/packages/patches')
-rw-r--r-- | gnu/packages/patches/valgrind-enable-arm.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/gnu/packages/patches/valgrind-enable-arm.patch b/gnu/packages/patches/valgrind-enable-arm.patch deleted file mode 100644 index 663e68463c..0000000000 --- a/gnu/packages/patches/valgrind-enable-arm.patch +++ /dev/null @@ -1,15 +0,0 @@ -Accept "arm" instead of "armv7" in configure, see - http://valgrind.10908.n7.nabble.com/building-for-arm-td39382.html . - -diff -u -r valgrind-3.11.0.orig/configure valgrind-3.11.0/configure ---- valgrind-3.11.0.orig/configure 2015-10-02 20:37:41.915721386 +0200 -+++ valgrind-3.11.0/configure 2015-10-02 20:37:54.886746395 +0200 -@@ -5607,7 +5607,7 @@ - ARCH_MAX="s390x" - ;; - -- armv7*) -+ arm*) - { $as_echo "$as_me:${as_lineno-$LINENO}: result: ok (${host_cpu})" >&5 - $as_echo "ok (${host_cpu})" >&6; } - ARCH_MAX="arm" |