Debian Jessieに新しいバージョンのEigenをインストールしてください。

私はこのガイドラインに従ってRaspberry Pi（Debian Jessie 8）でROS用のcatkinワークスペースを構築しようとしています。https://wiki.ros.org/dynamic/Installation/Source

しかし、エラーが発生しました

error: static assertion fail: Eigen support in pybind11 requires Eigen >= 3.2.7

Jessie Debianのlibeigen3-devの最新バージョンは3.2.2-3だからです。https://packages.debian.org/jessie/libdevel/libeigen3-dev

そのため、最新バージョンのEigenをダウンロードし、解凍して名前をに変更しましたeigen3。次に、/usr/local/shareにある古いフォルダeigen3を削除し、この新しいバージョンをここにコピーしました。

cd Downloads/
sudo cp -r eigen3 /usr/local/include    
cd /usr/local/include
sudo mkdir build
cd build
sudo cmake ..
sudo make install

そして、このような結果を得ました。

しかし、まだ問題を解決していません。 Eigenの新しいバージョンが正常にインストールされたことを確認する方法はありますか？

よろしくお願いします。