21 久しぶりのEigenのアップデート

Eigen

curl -O https://gitlab.com/libeigen/eigen/-/archive/3.4.0/eigen-3.4.0.zip

unzip eigen-3.4.0.zip
cd eigen-3.4.0
sudo mkdir -p /usr/local/include
tar cf - Eigen | (cd /usr/local/include; sudo tar xzf -)