Change spike.yaml location (#2160)

This commit is contained in:
JeanRochCoulon 2024-05-28 13:25:43 +02:00 committed by GitHub
parent 8cb7a8a4ed
commit 83191f4c3f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions

View file

@ -59,12 +59,12 @@ endif
##############################################
# Set default Spike parameter file.
spike_yaml ?= $(CVA6_REPO_DIR)/verif/spike_configs/$(target).yaml
spike_yaml ?= $(CVA6_REPO_DIR)/config/gen_from_riscv_config/$(target)/spike/spike.yaml
# Set up flags for Spike solo and tandem invocations, but only if parameter file exists.
ifneq ($(wildcard $(spike_yaml)),)
spike_params += --yaml-param $(spike_yaml)
spike-yaml-plusarg = +config_file=$(CVA6_REPO_DIR)/verif/spike_configs/$(target).yaml
spike-yaml-plusarg = +config_file=$(CVA6_REPO_DIR)/config/gen_from_riscv_config/$(target)/spike/spike.yaml
endif
##############################################