|
|
|
@ -4378,6 +4378,18 @@ ac_config_headers="$ac_config_headers config.h" |
|
|
|
|
|
|
|
ac_config_files="$ac_config_files Makefile" |
|
|
|
|
|
|
|
ac_config_files="$ac_config_files riscv-spike.pc" |
|
|
|
|
|
|
|
ac_config_files="$ac_config_files riscv-riscv.pc" |
|
|
|
|
|
|
|
ac_config_files="$ac_config_files riscv-hwacha.pc" |
|
|
|
|
|
|
|
ac_config_files="$ac_config_files riscv-softfloat.pc" |
|
|
|
|
|
|
|
ac_config_files="$ac_config_files riscv-dummy_rocc.pc" |
|
|
|
|
|
|
|
ac_config_files="$ac_config_files riscv-spike_main.pc" |
|
|
|
|
|
|
|
cat >confcache <<\_ACEOF |
|
|
|
# This file is a shell script that caches the results of configure |
|
|
|
# tests run on this system so they can be shared between configure |
|
|
|
@ -5075,6 +5087,12 @@ do |
|
|
|
"spike_main.mk") CONFIG_FILES="$CONFIG_FILES spike_main.mk:spike_main/spike_main.mk.in" ;; |
|
|
|
"config.h") CONFIG_HEADERS="$CONFIG_HEADERS config.h" ;; |
|
|
|
"Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; |
|
|
|
"riscv-spike.pc") CONFIG_FILES="$CONFIG_FILES riscv-spike.pc" ;; |
|
|
|
"riscv-riscv.pc") CONFIG_FILES="$CONFIG_FILES riscv-riscv.pc" ;; |
|
|
|
"riscv-hwacha.pc") CONFIG_FILES="$CONFIG_FILES riscv-hwacha.pc" ;; |
|
|
|
"riscv-softfloat.pc") CONFIG_FILES="$CONFIG_FILES riscv-softfloat.pc" ;; |
|
|
|
"riscv-dummy_rocc.pc") CONFIG_FILES="$CONFIG_FILES riscv-dummy_rocc.pc" ;; |
|
|
|
"riscv-spike_main.pc") CONFIG_FILES="$CONFIG_FILES riscv-spike_main.pc" ;; |
|
|
|
|
|
|
|
*) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;; |
|
|
|
esac |
|
|
|
|