GNU bug report logs - #39862
[PATCH 0/4] update Dune finite element packages

Previous Next

Package: guix-patches;

Reported by: Felix Gruber <felgru <at> posteo.net>

Date: Sun, 1 Mar 2020 20:07:02 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Felix Gruber <felgru <at> posteo.net>
Cc: 39862 <at> debbugs.gnu.org
Subject: [bug#39862] [PATCH v3 2/2] gnu: define dune-*-openmpi packages
Date: Fri, 13 Mar 2020 10:42:42 +0100
Hi Felix,

Felix Gruber <felgru <at> posteo.net> skribis:

> * gnu/packages/maths.scm (dune-*-openmpi): New variables.
> * gnu/packages/maths.scm (add-openmpi-to-dune-package): New function to
>   add openmpi to the inputs of a dune-* package and replace all dune-*
>   packages in its input with the corresponding dune-*-openmpi package.

Nitpick: no need to repeat the file name above.  It would also be great
if you could list all the new variables.

> +      (lambda (p) (not (dune-package? p))))))

You can replace the lambda with:

  (negate dune-package?)

One last thing: could you look at the output of, say, ‘guix graph
dune-geometry-openmpi’ and ensure we’re not duplicating more nodes than
needed in the graph?

For example, you can compare node counts with:

  guix graph dune-geometry | grep 'label =' | wc -l
  guix graph dune-geometry-openmpi | grep 'label =' | wc -l

The difference should be less than:

  guix graph openmpi | grep 'label =' | wc -l

If that works well, please send an updated patch and we should be ready
to go!

Thanks,
Ludo’.




This bug report was last modified 5 years and 67 days ago.

Previous Next


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