GNU bug report logs - #55170
[PATCH 0/5] gnu: dealii: Add SUNDIALS dependency and update to 9.3.3.

Previous Next

Full log

View this message in rfc822 format

From: "Paul A. Patience" <paul <at> apatience.com>
To: 55170 <at> debbugs.gnu.org
Cc: ludovic.courtes <at> inria.fr, paul <at> apatience.com
Subject: [bug#55170] [PATCH 3/5] gnu: dealii-openmpi: Remove input labels.
Date: Thu, 28 Apr 2022 18:19:29 +0000

* gnu/packages/maths.scm (dealii-openmpi)[inputs]: Remove labels.
[propagated-inputs]: Same.
---
 gnu/packages/maths.scm | 24 +++++++++++++-----------
 1 file changed, 13 insertions(+), 11 deletions(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 3c96378a4e..e6ebada82b 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -5248,18 +5248,20 @@ (define-public dealii-openmpi
   (package/inherit dealii
     (name "dealii-openmpi")
     (inputs
-     `(("arpack" ,arpack-ng-openmpi)
-       ("metis" ,metis)
-       ("scalapack" ,scalapack)
-       ,@(alist-delete "arpack" (package-inputs dealii))))
+     (modify-inputs (package-inputs dealii)
+       (delete "arpack")
+       (prepend arpack-ng-openmpi
+                metis
+                scalapack)))
     (propagated-inputs
-     `(("hdf5" ,hdf5-parallel-openmpi)
-       ("mpi" ,openmpi)
-       ("p4est" ,p4est-openmpi)
-       ("petsc" ,petsc-openmpi)
-       ("slepc" ,slepc-openmpi)
-       ("trilinos" ,trilinos-for-dealii-openmpi)
-       ,@(alist-delete "hdf5" (package-propagated-inputs dealii))))
+     (modify-inputs (package-propagated-inputs dealii)
+       (delete "hdf5")
+       (prepend hdf5-parallel-openmpi
+                openmpi
+                p4est-openmpi
+                petsc-openmpi
+                slepc-openmpi
+                trilinos-for-dealii-openmpi)))
     (arguments
      (substitute-keyword-arguments (package-arguments dealii)
        ((#:configure-flags flags)
--
2.36.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.