最近の更新
タグ一覧
# zypper install openmpi-devel
$ mpi-selector --set openmpi $ source /etc/profile.d/mpi-selector.sh