But looks like all you need to do is to add whatev...
# caravel
t
But looks like all you need to do is to add whatever libraries you want to use to the "git submodule update" lines in the caravel Makefile, and then run make again.