mirror of
git://git.savannah.gnu.org/guix.git
synced 2023-12-14 03:33:07 +01:00
5768893ad1
* 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.
16 lines
541 B
Diff
16 lines
541 B
Diff
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"
|