From 53549e0dbc11c226f9be0231ef73b9c8f973b777 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Mon, 12 Apr 2021 13:10:12 +0100
Subject: [PATCH] Set number of cores using RISCY config instead of manual
 define

This was leading to -D NUM_CORES=2 -D NUM_CORES=1 in the command.
The NUM_CORES=2 seems to have been winning, but this is obviously
far from ideal.
---
 src_SSITH_P3/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src_SSITH_P3/Makefile b/src_SSITH_P3/Makefile
index 55d509c..9429c9c 100644
--- a/src_SSITH_P3/Makefile
+++ b/src_SSITH_P3/Makefile
@@ -33,7 +33,6 @@ BSC_COMPILATION_FLAGS += \
 	-D PERFORMANCE_MONITORING \
 	-D SHIFT_BARREL    \
 	-D MULT_SERIAL    \
-        -D NUM_CORES=2 \
 	-D Near_Mem_Caches    \
 	-D FABRIC64    \
 	-D CAP128 \
@@ -49,6 +48,9 @@ SYNTH_BSC_OPTIONS = -D XILINX_XCVU9P
 # Sim only BSC_COMPILATION_FLAGS
 SIM_BSC_OPTIONS = -D BSIM
 
+# Set number of cores for RISCY config
+CORE_NUM = 2
+
 # Only used if we don't have INCLUDE_GDB_CONTROL
 #	-D EXTERNAL_DEBUG_MODULE