From b285eacb98721ea416bd09cffd22a84bf9856c6d Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Tue, 2 Dec 2014 15:39:12 -0800
Subject: [PATCH] add script for running dejagnu on spike

---
 scripts/spike.exp | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 scripts/spike.exp

diff --git a/scripts/spike.exp b/scripts/spike.exp
new file mode 100644
index 00000000..03177d2c
--- /dev/null
+++ b/scripts/spike.exp
@@ -0,0 +1,6 @@
+load_generic_config "sim"
+set_board_info sim "spike pk"
+set_board_info compiler "[find_gcc]"
+set_board_info ldflags "-static"
+set_board_info gdb,nosignals 1
+set_board_info is_simulator 1