gitdir: ../../.git/modules/3rdparty/eigen
