summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2022-02-16 14:07:57 +0200
committerEfraim Flashner <efraim@flashner.co.il>2022-02-16 15:48:05 +0200
commit194b1a9297206b570328b48fd98b8f8890ad024d (patch)
tree731a3187c76ecda61da0e02c4fc3aeacca4a4556
parent37254e10d1ee2ba3e1d6ed418f01babcca5ee218 (diff)
gnu: valgrind: Remove riscv64-linux from supported-systems.
* gnu/packages/valgrind.scm (valgrind)[supported-systems]: New field.
-rw-r--r--gnu/packages/valgrind.scm4
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/packages/valgrind.scm b/gnu/packages/valgrind.scm
index 9c7c4d40c0..1cdc0f3b71 100644
--- a/gnu/packages/valgrind.scm
+++ b/gnu/packages/valgrind.scm
@@ -2,7 +2,7 @@
;;; Copyright © 2013, 2014, 2022 Ludovic Courtès <ludo@gnu.org>
;;; Copyright © 2015 Andreas Enge <andreas@enge.fr>
;;; Copyright © 2015 Mark H Weaver <mhw@netris.org>
-;;; Copyright © 2016, 2020 Efraim Flashner <efraim@flashner.co.il>
+;;; Copyright © 2016, 2020, 2022 Efraim Flashner <efraim@flashner.co.il>
;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2020 Marius Bakke <marius@gnu.org>
;;;
@@ -82,6 +82,8 @@
tools. There are Valgrind tools that can automatically detect many memory
management and threading bugs, and profile your programs in detail. You can
also use Valgrind to build new tools.")
+ ;; https://valgrind.org/info/platforms.html
+ (supported-systems (delete "riscv64-linux" %supported-systems))
(license gpl2+)
;; Hide this variant so end users get the "interactive" Valgrind below.