'make verify' does not work

efabless / caravel_mgmt_soc_litex

https://caravel-mgmt-soc-litex.readthedocs.io/en/latest/

Apache License 2.0

25 stars 15 forks source link

'make verify' does not work #40

Open RTimothyEdwards opened 1 year ago

RTimothyEdwards commented 1 year ago

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 commented 1 year ago

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.