GNU bug report logs - #27806
openmpi changes

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Dave Love <fx <at> gnu.org>
Subject: bug#27806: closed (Re: [bug#27806] openmpi changes)
Date: Wed, 26 Jul 2017 20:39:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#27806: openmpi changes

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 27806 <at> debbugs.gnu.org.

-- 
27806: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=27806
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: ludo <at> gnu.org (Ludovic Courtès)
To: Dave Love <fx <at> gnu.org>
Cc: 27806-done <at> debbugs.gnu.org
Subject: Re: [bug#27806] openmpi changes
Date: Wed, 26 Jul 2017 22:38:12 +0200

Dave Love <fx <at> gnu.org> skribis:

> Ludovic Courtès <ludo <at> gnu.org> writes:
>
>> Hi Dave,
>>
>> I adjusted the commit log and applied the first two patches.
>>
>> Dave Love <fx <at> gnu.org> skribis:
>>
>>> I assume the only one of these that's questionable is the SGE one.  It
>>> used to be the default, and I don't know of any way it could be
>>> problematic -- the support just looks at the environment to determine
>>> whether to use qrsh for remote startup.  Debian and Fedora both enable
>>> it.
>>
>> To be clear: if there’s no environment variable suggesting that SGE is
>> being used, then it won’t try to use qrsh, right?
>
> Yes, and that flag is long-established in other distributions which add
> more intrusive support for resource managers.

Sounds good, applied.

Thank you!

Ludo’.

[Message part 3 (message/rfc822, inline)]

From: Dave Love <fx <at> gnu.org>
To: guix-patches <at> gnu.org
Subject: openmpi changes
Date: Mon, 24 Jul 2017 19:34:56 +0100

[Message part 4 (text/plain, inline)]

I assume the only one of these that's questionable is the SGE one.  It
used to be the default, and I don't know of any way it could be
problematic -- the support just looks at the environment to determine
whether to use qrsh for remote startup.  Debian and Fedora both enable
it.

[0001-mpi.scm-gnu-openmpi-Update-to-1.10.7.patch (text/x-diff, attachment)]

[0002-mpi.scm-gnu-openmpi-Enable-SGE-support.patch (text/x-diff, attachment)]

[0004-mpi.scm-gnu-openmpi-It-s-MPI-3.0-not-MPI-2.patch (text/x-diff, attachment)]

Previous Next

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