From f948e576d996c69b2acbaed876715d35ac7c06a2 Mon Sep 17 00:00:00 2001
From: Ivan Ribeiro <ivanmgribeiro@gmail.com>
Date: Thu, 18 Jul 2019 14:52:05 +0100
Subject: [PATCH] Default to CAP64 and RISCV architecture

---
 Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index a72152f..21a4334 100644
--- a/Makefile
+++ b/Makefile
@@ -1,11 +1,15 @@
-
-CAP ?= 128
+CAP ?= 64
 ifeq ($(CAP), 128)
 BSCFLAGS = -D CAP128
 else
 BSCFLAGS = -D CAP64
 endif
 
+ARCH ?= RISCV
+ifeq ($(ARCH), RISCV)
+BSCFLAGS += -D RISCV
+endif
+
 verilog-wrappers: CHERICapWrap.bsv CHERICap.bsv CHERICC_Fat.bsv
 	bsc $(BSCFLAGS) -verilog -u $<