Makefile: add back fetch target
diff --git a/Makefile b/Makefile index 2b8675c..1ccd574 100644 --- a/Makefile +++ b/Makefile
@@ -318,3 +318,9 @@ @$(MAKE) -C $(TIMING_ROOT) -f $(TIMING_ROOT)/timing.mk caravel-timing-fast @$(MAKE) -C $(TIMING_ROOT) -f $(TIMING_ROOT)/timing.mk caravel-timing-slow @echo "You can find results for all corners in $(CUP_ROOT)/signoff/caravel/openlane-signoff/timing/" + +WOKWI_PROJECT_ID=334445762078310996 + +.PHONY: fetch +fetch: + curl https://wokwi.com/api/projects/$(WOKWI_PROJECT_ID)/verilog | sed -e "s/user_module_$(WOKWI_PROJECT_ID)/user_module/" > verilog/rtl/user_module.v