Hi. While trying to run

make verify-io_ports-gl

, I get the error:

<my_project_path>/caravel/verilog/rtl/digital_pll.v:22: Include file digital_pll_controller.v not found

I've installed the non-lite version of caravel, and I can see the file

digital_pll_controller.v

present in the same directory as

digital_pll.v

. Kindly comment what could be going wrong?

update

<https://github.com/efabless/caravel_user_project/blob/main/verilog/includes/includes.rtl.caravel_user_project>

as per your rtl list

I had already done that. After asking above question, I have tried removing the include statement for digital_pll_controller.v and another missing file from digital_pll.v, and compilation was successful.