Enable cvxif extension for Spike when cvxif variable is set

This commit is contained in:
Ayoub Jalali 2023-08-28 17:01:40 +02:00
parent 2dc44c2b8c
commit a341bc59c7
2 changed files with 6 additions and 1 deletions

View file

@ -30,6 +30,7 @@ if ! [ -n "$list_num" ]; then
fi fi
export cov=1 #enable the Code Coverage export cov=1 #enable the Code Coverage
export cvxif=1 #enable cvxif extension for Spike
cd cva6/sim/ cd cva6/sim/
dd=$(date '+%Y-%m-%d') dd=$(date '+%Y-%m-%d')

View file

@ -101,11 +101,15 @@ else
cov-run-opt = cov-run-opt =
endif endif
ifdef cvxif
spike_extension = --extension=cvxif
endif
############################################################################### ###############################################################################
# Spike specific commands, variables # Spike specific commands, variables
############################################################################### ###############################################################################
spike: spike:
$(tool_path)/spike $(spike_stepout) --extension=cvxif --log-commits --isa=$(variant) -l $(elf) $(tool_path)/spike $(spike_stepout) $(spike_extension) --log-commits --isa=$(variant) -l $(elf)
cp $(log).iss $(log) cp $(log).iss $(log)
############################################################################### ###############################################################################