diff options
-rw-r--r-- | gnu/packages/mpi.scm | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 5ffe0e6da2..32c26e13c0 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -80,11 +80,7 @@ "debug")) (inputs (append (list libx11 cairo ncurses expat) - (if (not (string-prefix? "armhf" - (or (%current-target-system) - (%current-system)))) - (list numactl) - '()))) + (if (target-arm32?) '() (list numactl)))) (propagated-inputs ;; hwloc.pc lists it in 'Requires.private'. (list libpciaccess)) |