'make verify' does not work

[RTimothyEdwards]

The Makefile contains a recipe

verify:
        cd $(CARAVEL_ROOT)/verilog/dv/caravel/mgmt_soc/ && \
                $(MAKE) -j$(THREADS) all
        cd $(CARAVEL_ROOT)/verilog/dv/wb_utests/ && \
                $(MAKE) -j$(THREADS) all

This recipe points to directories that do not exist in the repository. The recipe should be either corrected or removed.

[azwefabless]

This should be cleaned up as it has been replaced by cocotb. If they follow instructions they would not run makeverify from caravel respository itself.