You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
12 lines
364 B
12 lines
364 B
#!/bin/bash
|
|
|
|
xlen="$(march-to-cpu-opt --elf-file-path $1 --print-xlen)"
|
|
isa="$(march-to-cpu-opt --elf-file-path $1 --print-spike-isa)"
|
|
varch="$(march-to-cpu-opt --elf-file-path $1 --print-spike-varch)"
|
|
|
|
isa_option="--isa=${isa}"
|
|
varch_option=""
|
|
|
|
[[ ! -z ${varch} ]] && varch_option="--varch=${varch}"
|
|
|
|
spike ${isa_option} ${varch_option} ${PK_PATH}/pk${xlen} "$@"
|
|
|