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

Fix build issues for RVFI_DII simulators

Browse Source
This commit is contained in:
Peter Rugg
2021-07-13 14:52:08 +01:00
parent cb4b67ff7d
commit ae4a16cd6b
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
builds/RV64ACDFIMSUxCHERI_Toooba_RVFI_DII_bluesim/Makefile
View File

@@ -3,7 +3,7 @@
# ================================================================
# Path to RISCY-OOO sources not included in Common
ALL_RISCY_DIRS = $(RISCY_HOME)/../../src_Verifier:$(RISCY_HOME)/../../src_Verifier/BSV-RVFI-DII
EXTRA_DIRS = $(RISCY_HOME)/../../src_Verifier:$(RISCY_HOME)/../../src_Verifier/BSV-RVFI-DII
# ================================================================

2
builds/RV64ACDFIMSUxCHERI_Toooba_RVFI_DII_verilator/Makefile
View File

@@ -3,7 +3,7 @@
# ================================================================
# Path to RISCY-OOO sources not included in Common
ALL_RISCY_DIRS = $(RISCY_HOME)/../../src_Verifier:$(RISCY_HOME)/../../src_Verifier/BSV-RVFI-DII
EXTRA_DIRS = $(RISCY_HOME)/../../src_Verifier:$(RISCY_HOME)/../../src_Verifier/BSV-RVFI-DII
# ================================================================

2
builds/Resources/Include_Common.mk
View File

@@ -45,7 +45,7 @@ CONNECTAL_DIRS = $(RISCY_HOME)/connectal/bsv:$(RISCY_HOME)/connectal/tests/spi:$
CHERI_DIRS = $(RISCY_HOME)/../../libs/cheri-cap-lib
# ALL_RISCY_DIRS = $(RISCY_DIRS)
ALL_RISCY_DIRS +=$(RISCY_DIRS):$(CONNECTAL_DIRS):$(CHERI_DIRS)
ALL_RISCY_DIRS = $(EXTRA_DIRS):$(RISCY_DIRS):$(CONNECTAL_DIRS):$(CHERI_DIRS)
# ================================================================
# Search path for bsc for .bsv files