Fix missing serv_socket_init at run time for bluesim RVFI-DII build

2020-07-12 21:28:46 +01:00
parent ece8423119
commit c66d0183b5
1 changed files with 1 additions and 0 deletions
--- 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"