Cheri-research/Toooba
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Fix src_Verifier directories not being included in TestRIG builds

Browse Source
This commit is contained in:
Peter Rugg
2024-09-16 16:12:40 +01:00
parent 47e12b8e65
commit 3b6b78db83
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
builds/RV64ACDFIMSUxCHERI_Toooba_RVFI_DII_bluesim/Makefile
View File

@@ -1,15 +1,15 @@
### -*-Makefile-*-
# ================================================================
# Path to RISCY-OOO sources not included in Common
EXTRA_DIRS = $(RISCY_HOME)/../../src_Verifier
# ================================================================
REPO ?= ../..
ARCH ?= RV64ACDFIMSUxCHERI
# ================================================================
# Path to RISCY-OOO sources not included in Common
EXTRA_DIRS = $(REPO)/src_Verifier
# ================================================================
# RISC-V config macros passed into Bluespec 'bsc' compiler