I am following the instructions at https://github.com/efabless/caravel_user_project/blob/main/docs/source/quickstart.rst My

make setup

just gets stuck at this point for several minutes and has not proceeded. Is this normal (should I wait or kill the terminal)?

PDK generation takes around 1 hour.. Better to wait

thanks, it did take more than hour and just completed.