diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2022-02-16 14:07:57 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2022-02-16 15:48:05 +0200 |
| commit | 194b1a9297206b570328b48fd98b8f8890ad024d (patch) | |
| tree | 731a3187c76ecda61da0e02c4fc3aeacca4a4556 /gnu | |
| parent | 37254e10d1ee2ba3e1d6ed418f01babcca5ee218 (diff) | |
gnu: valgrind: Remove riscv64-linux from supported-systems.
* gnu/packages/valgrind.scm (valgrind)[supported-systems]: New field.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/valgrind.scm | 4 |
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. |