diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-02-24 21:25:52 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-02-24 21:25:52 +0100 |
| commit | aa51eb2073f17e40d660d0beaeb7b1b78aa9e1cc (patch) | |
| tree | 5ccb7f83712c4400176a344e537b5fcbbb7047aa /gnu/packages/mpi.scm | |
| parent | 1b9eb93a5dd1e90291b614311cd1fb2051e72718 (diff) | |
| parent | 6eb35d4a780d37b809a6c8c1794ff227da2fa29d (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/mpi.scm')
| -rw-r--r-- | gnu/packages/mpi.scm | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 35d3c9e303..10de6dee5b 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -196,8 +196,6 @@ bind processes, and much more.") `(#:configure-flags `("--enable-mpi-ext=affinity" ;cr doesn't work "--enable-memchecker" "--with-sge" - "--with-psm" - "--with-psm2" "--with-valgrind" "--with-hwloc=external" "--with-libevent" |