【linux基础】如何确定系统使用的Eigen库的版本