From c66d0183b52a6432230fc8060d04d7c9af0510e2 Mon Sep 17 00:00:00 2001
From: Jessica Clarke <jrtc27@jrtc27.com>
Date: Sun, 12 Jul 2020 21:28:46 +0100
Subject: [PATCH] Fix missing serv_socket_init at run time for bluesim RVFI-DII
 build

---
 builds/Resources/Include_bluesim.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/builds/Resources/Include_bluesim.mk b/builds/Resources/Include_bluesim.mk
index 1788e85..9552a4f 100644
--- a/builds/Resources/Include_bluesim.mk
+++ b/builds/Resources/Include_bluesim.mk
@@ -50,6 +50,7 @@ simulator: build_dir/Top_HW_Side.bo
 		$(TMP_DIRS) \
 		-e $(TOPMODULE) -o ./$(SIM_EXE_FILE) \
 		$(BSC_C_FLAGS) \
+		$(REPO)/src_Verifier/BSV-RVFI-DII/SocketPacketUtils/socket_packet_utils.c \
 		$(REPO)/src_Testbench/Top/C_Imported_Functions.c
 	@echo "INFO: linked bsc-compiled objects into Bluesim executable"