commit fec2ae6abb2e69fce71ec997d2a26047013107c4
author Jeff DiCorpo <42048757+jeffdi@users.noreply.github.com> Thu Oct 27 22:21:22 2022 -0700
committer GitHub <noreply@github.com> Thu Oct 27 22:21:22 2022 -0700
tree dc40de056b51e050d7b73ee5a5772e9e879641e4
parent b764059afdda88850a4bda6a8277bf9b9607af60

Update Makefile

update variable for verify

Makefile

diff --git a/Makefile b/Makefile
index f7e18d2..d151c81 100644
--- a/Makefile
+++ b/Makefile
@@ -101,8 +101,10 @@
 		-e CARAVEL_ROOT=${CARAVEL_ROOT} \
 		-e TOOLS=/foss/tools/riscv-gnu-toolchain-rv32i/217e7f3debe424d61374d31e33a091a630535937 \
 		-e DESIGNS=$(TARGET_PATH) \
+		-e USER_PROJECT_VERILOG=$(TARGET_PATH)/verilog \
 		-e PDK=$(PDK) \
 		-e CORE_VERILOG_PATH=$(TARGET_PATH)/mgmt_core_wrapper/verilog \
+		-e CARAVEL_VERILOG_PATH=$(TARGET_PATH)/caravel/verilog \
 		-e MCW_ROOT=$(MCW_ROOT) \
 		-u $$(id -u $$USER):$$(id -g $$USER) efabless/dv:latest \
 		sh -c $(verify_command)