diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-06 19:13:28 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-06 19:13:28 +0100 |
| commit | f9fa4fd518d0f49b3176603c4c6ccabf78fd2bcf (patch) | |
| tree | 12ebcfc42b3481c8419cb394cce79890f585d0c0 /reproduce/software/bash/configure.sh | |
| parent | 29540c2ba572ee46e9907c4b66153ce02b39c701 (diff) | |
OpenSSH necessary to use OpenMPI
Until now, OpenMPI was being installed without any dependency. This was
fine because it would indeed build. But the moment you tried loading
something that depends on it (for example `mpi4py' through `astropy'), you
would get an error complaining that SSH isn't present.
With this commit, the pipeline now also installs OpenSSH to solve this
problem.
Diffstat (limited to 'reproduce/software/bash/configure.sh')
0 files changed, 0 insertions, 0 deletions