Tanmay
12/17/2022, 5:25 AMMitch Bailey
12/17/2022, 3:35 PMcaravel_user_project and are trying to install from there.
Looks like you tried make install (which installs caravel-lite) first, but that didn’t work because could not resolve host.
However, when you tried make setup next, caravel-lite was installed correctly!
However, the Makefile stopped again with could not resolve host. Sounds like it might be an intermittent internet connection. Is that likely?
Maybe you could just try make setup again.