ptscotch次のコマンドでインストールしました。
sudo apt-get install ptscotch
その後、Pastixライブラリをコンパイルしたいのですが、エラーが発生します。
symbol/src/dof.c:54:22: fatal error: ptscotch.h: No such file or directory
だからファイルを見つけようとしましたが、ptscotch.h何も見つかりませんでした。 Pastixが私のホームフォルダで探しているようですが、「スコッチフォルダ」もなく、ptscotch.horにもファイルがありません。/usr/include/usr/local/include
では、このファイルはどこで探すべきですか？それともリポジトリの他のパッケージに含まれていますか？
ベストアンサー1
このコマンドは、apt-file特定のファイル名を持つパッケージを検索するのに役立ちます。
apt-get install apt-file
apt-file update
apt-file search ptscotch.h
これにより、パッケージ名（libptscotch-dev）と検索語で見つかったファイルが生成されます。次に、以下で見つけたパッケージをインストールしますapt-file。
apt-get install libptscotch-dev