我正在尝试按照此说明在 Raspberry Pi (Debian Jessie 8) 上构建 ROS 的 catkin 工作区https://wiki.ros.org/kinetic/Installation/Source
但遇到错误
error: static assertion fail: Eigen support in pybind11 requires Eigen >= 3.2.7
由于 Jessie Debian 的 libeigen3-dev 最新版本是 3.2.2-3https://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？
先感谢您。