###  -*-Makefile-*-

REPO ?= ../..
ARCH ?= RV64ACDFIMSUxCHERI

# ================================================================
# RISC-V config macros passed into Bluespec 'bsc' compiler
BSC_COMPILATION_FLAGS += -verbose
# Default ISA test

# TEST ?= rv64ui-p-add
TEST ?= rv64um-v-mulw
# TEST ?= Page
# TEST ?= PageReadWrite
# TEST ?= CheriPage
# TEST ?= MemoryAllocator
# TEST = rv64ui-v-blt
# TEST = string

#================================================================
# Parameter settings for MIT RISCY, setup paths etc. for Include_Common

include $(REPO)/builds/Resources/Include_RISCY_Config.mk

#================================================================
# Common boilerplate rules

include $(REPO)/builds/Resources/Include_Common.mk

#================================================================
# Makefile rules for building for specific simulator: bluesim

include $(REPO)/builds/Resources/Include_bluesim.mk
