Issue with compiling after changing the eigen url

[sibyphilips]

Hi,
I get an error when 'make' is run. Before making, i had edited the makefile with the new url posted in the previous issue.

cp: cannot stat 'eigen-eigen-67e894c6cd8f/Eigen': No such file or directory
make: *** [Makefile:20: utils/Eigen] Error 1

then I changed the make file like following
"
utils/Eigen:
@curl https://gitlab.com/libeigen/eigen/-/archive/3.3.3/eigen-3.3.3.tar.gz -o eigen-3.3.3.tar.gz
@tar -xf eigen-3.3.3.tar.gz
@cp -r eigen-3.3.3/Eigen utils
@rm -rf eigen-3.3.3.tar.gz eigen-eigen-67e894c6cd8f
"
It finished compiling, is this correct?
any help in this regard is much appreciated.

Thanks,
Siby.