From 4c0d3acebf8fd37b3ef1481ac282f5c47464310f Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Wed, 27 Sep 2017 14:34:18 +0100
Subject: fixed the RISC-V Makefile

---
 risc-v/Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/risc-v/Makefile b/risc-v/Makefile
index d027556e..8449c7c4 100644
--- a/risc-v/Makefile
+++ b/risc-v/Makefile
@@ -4,10 +4,11 @@ SOURCES:=riscv_types.sail riscv.sail ../etc/regfp.sail riscv_regfp.sail
 all: lem_ast shallow
 
 lem_ast: $(SOURCES) $(SAIL)
-	$(SAIL) -lem_ast $(SOURCES)
+	$(SAIL) -lem_ast $(SOURCES) -o riscv
 
 shallow: $(SOURCES) $(SAIL)
-	$(SAIL) -lem_lib Riscv_extras_embed -lem $(SOURCES)
+	$(SAIL) -lem_lib Riscv_extras_embed -lem $(SOURCES) -o riscv
 
 clean:
-	rm -f riscv.lem riscv_embed*.lem
+	rm -f riscv.lem riscv_embed*.lem riscv_toFromInterp.lem
+	rm -f riscv_type*.lem
-- 
cgit v1.2.3