That patch looks much nicer. Thank you. Diane
On Friday, November 06, 2015 03:28:23 PM Ricardo Wurmus wrote: > Hi, > > > One of our users asked me to install a package "bless" that required a > > newer version of MPI than Debian provides, so I thought I'd try to build > > a guix package as Guix actually has openmpi 1.8 packaged. > > Great! Thank you for your contribution. > > > The source tarball has the GPL-3 LICENSE file, however it does also > > contain > > convenience copies of other source, and in my packaging I only spliced out > > one -- the pigz dependency. > > I have taken your recipe and removed more bundled sources in a snippet. > There’s still bundled stuff that we should get rid of, most importantly > kmc, which brings its own executables. > > I also changed the description based on the paper; instead of patching > the Makefile I overwrite the make flags. > > Attached is a patch. Does this work for you? > What do others think about this patch? > > ~~ Ricardo
