summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/valgrind-enable-arm.patch
diff options
context:
space:
mode:
authorAndreas Enge <andreas@enge.fr>2015-10-02 20:59:20 +0200
committerAndreas Enge <andreas@enge.fr>2015-10-02 21:16:02 +0200
commit5768893ad108d53844a525d20a40a39a9006762b (patch)
treee9c660587f02759c93c784b6ca886b0fc7eb4604 /gnu/packages/patches/valgrind-enable-arm.patch
parent2f8fee0623e88d3ba17d7cc41510afb3871cf9b7 (diff)
gnu: valgrind: Enable the arm architecture during configuration.
* gnu/packages/patches/valgrind-enable-arm.patch: New file. * gnu/packages/valgrind.scm (valgrind)[source]: Add patch. * gnu-system.am (dist_patch_DATA): Enable patch.
Diffstat (limited to 'gnu/packages/patches/valgrind-enable-arm.patch')
-rw-r--r--gnu/packages/patches/valgrind-enable-arm.patch15
1 files changed, 15 insertions, 0 deletions
diff --git a/gnu/packages/patches/valgrind-enable-arm.patch b/gnu/packages/patches/valgrind-enable-arm.patch
new file mode 100644
index 0000000000..663e68463c
--- /dev/null
+++ b/gnu/packages/patches/valgrind-enable-arm.patch
@@ -0,0 +1,15 @@
+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"