openmpi4
Differences
This shows you the differences between two versions of the page.
openmpi4 [2022/04/04 19:40] – created nico | openmpi4 [2022/05/11 19:22] (current) – nico | ||
---|---|---|---|
Line 9: | Line 9: | ||
===== Configure ===== | ===== Configure ===== | ||
- | | + | |
===== Make ===== | ===== Make ===== |
openmpi4.1649094053.txt.gz · Last modified: 2022/04/04 19:40 by nico