CentOS 7でmpi系のエラーが出た時の対処方法

CentOS 7環境でPython 3.6環境下でSummerTimeと言う要約ツールキットをインストールしていた時に「mpi.h:そのようなファイルまたはディレクトリはありません」のエラーが出たので、解決方法を書いとく。

yum install openmpi openmpi-develでインストール。

https://labo.utsubo.tokyo/2017/09/22/post-1212/を参考にしながら

PATH等を~/.bashrcに追加。(以下上記URLより)

export PATH=$PATH:/usr/lib64/openmpi/bin
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib64/openmpi/lib
export C_INCLUDE_PATH=$C_INCLUDE_PATH:/usr/include/openmpi-x86_64
export CPLUS_INCLUDE_PATH=$C_INCLUDE_PATH

完了。