Skip to content

Commit

Permalink
ci: fix to run verify on different gvsoc targets
Browse files Browse the repository at this point in the history
  • Loading branch information
Germain Haugou committed Dec 5, 2024
1 parent 0ef7b2c commit 8c60065
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions target/common/gvsoc.mk
Original file line number Diff line number Diff line change
Expand Up @@ -6,8 +6,12 @@ $(BIN_DIR)/$(TARGET).gvsoc:
@echo "#!/bin/bash" > $@
@echo 'binary=$$(realpath $$1)' >> $@
@echo 'echo $$binary > .rtlbinary' >> $@
@echo 'gvsoc --target=snitch --binary $$binary \
--control-script=$(GVSOC_BUILDDIR)/pulp/pulp/snitch/utils/gvcontrol.py $$2 run' >> $@
@echo 'path="$$(dirname "$$(dirname "$$(readlink -f "$${BASH_SOURCE[0]}")")")"' >> $@
@echo 'if [ -z "$$GVSOC_TARGET" ]; then' >> $@
@echo ' GVSOC_TARGET=snitch' >> $@
@echo 'fi' >> $@
@echo 'gvsoc --target=$${GVSOC_TARGET} --binary $$binary \
--control-script=$${path}/${GVSOC_BUILDDIR}/pulp/pulp/snitch/utils/gvcontrol.py $$2 run' >> $@
@chmod +x $@

.PHONY: clean-gvsoc
Expand Down

0 comments on commit 8c60065

Please sign in to comment.