From 3b6b78db8303faafa3b21bf6d6b224f8864ea47e Mon Sep 17 00:00:00 2001 From: Peter Rugg Date: Mon, 16 Sep 2024 16:12:40 +0100 Subject: [PATCH] Fix src_Verifier directories not being included in TestRIG builds --- .../Makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/builds/RV64ACDFIMSUxCHERI_Toooba_RVFI_DII_bluesim/Makefile b/builds/RV64ACDFIMSUxCHERI_Toooba_RVFI_DII_bluesim/Makefile index 37af0c2..bb4729b 100644 --- a/builds/RV64ACDFIMSUxCHERI_Toooba_RVFI_DII_bluesim/Makefile +++ b/builds/RV64ACDFIMSUxCHERI_Toooba_RVFI_DII_bluesim/Makefile @@ -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