Another basic question since I am doing this for the first time, I am following the instructions at this link: https://github.com/efabless/caravel_user_project/blob/main/docs/source/quickstart.rst. Now, lets say that I make some modifications to my user_proj_example.v or the la_test1.c, do I need to run the

make setup

all over again, or is it just enough to start from

make user_proj_example

,

make user_project_wrapper

, then the verify RTL and GL? I assume that I do not need to run

make setup

again. pls clarify

no need to run make setup over. The verify (I assume) should compile everything as needed.