From 6a1a38d421fd3e24bdc179d58d33572636b903b2 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Wed, 4 Jan 2017 11:45:18 -0800
Subject: Specify Spike ISA explicitly

---
 isa/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'isa')

diff --git a/isa/Makefile b/isa/Makefile
index 1afa4d6..3ed1b60 100644
--- a/isa/Makefile
+++ b/isa/Makefile
@@ -43,10 +43,10 @@ vpath %.S $(src_dir)
 	$(RISCV_OBJDUMP) $< > $@
 
 %.out: %
-	$(RISCV_SIM) $< 2> $@
+	$(RISCV_SIM) --isa=rv64gc $< 2> $@
 
 %.out32: %
-	$(RISCV_SIM) --isa=RV32 $< 2> $@
+	$(RISCV_SIM) --isa=rv32gc $< 2> $@
 
 define compile_template
 
-- 
cgit v1.1