Looks like the PDK branch changed from master to main and broke the caravel_user_project Makefile. It needs to be updated with the new branch