mbox

[bug#39862,v3,0/2] Add dune-*-openmpi packages

Message ID 20200312210513.107891-1-felgru@posteo.net
Headers show

Message

Felix Gruber March 12, 2020, 9:05 p.m. UTC 
Hi Ludo’,

thanks for your suggestions regarding the creation of the dune-*-openmpi
packages. I've rewritten the add-openmpi-to-dune-package in terms of
package-mapping as you suggested.

You'll find the modified version of my last two patches in the following
two emails.

Many thanks,
Felix

Felix Gruber (2):
  gnu: dune-*: remove openmpi dependency
  gnu: define dune-*-openmpi packages

 gnu/packages/maths.scm | 90 ++++++++++++++++++++++++++++--------------
 1 file changed, 60 insertions(+), 30 deletions(-)