spike_main_subproject_deps = \
	softfloat \
	riscv \

spike_main_install_prog_srcs = \
	spike.cc \
	riscv-dis.cc \
	xspike.cc \
	termios-xspike.cc \

spike_main_hdrs = \

spike_main_srcs = \
  extensions.cc \