02ee2bdee0
Previously, Makefiles had to add new include paths and -D defines manually when they wanted to include RVFI. This caused hard-to-diagnose errors in repositories consuming Toooba that expected -D RVFI to work. This commit makes Include_RISCY_Config.mk take an optional make-variable argument RVFI, which defaults to "false", and adds the relevant paths and -D defines if it is set to "true". This does not cover RVFI_DII, which is a simulation-only extension to allow instruction injection. This commit also includes fixes to the Makefiles in ./builds/ to use this interface properly.
59 lines
2.1 KiB
Makefile
59 lines
2.1 KiB
Makefile
### -*-Makefile-*-
|
|
|
|
# Copyright (c) 2018-2019 Bluespec, Inc. All Rights Reserved
|
|
|
|
# This file is not a standalone Makefile, but 'include'd by other Makefiles
|
|
|
|
# ================================================================
|
|
# Compile Bluesim intermediate files from BSV sources (needs Bluespec 'bsc' compiler)
|
|
|
|
TMP_DIRS = -bdir build_dir -simdir build_dir -info-dir build_dir
|
|
|
|
build_dir:
|
|
mkdir -p $@
|
|
|
|
ifeq (,$(filter clean full_clean,$(MAKECMDGOALS)))
|
|
include .depends.mk
|
|
|
|
.depends.mk: TagTableStructure.bsv StatCounters.bsv GenerateHPMVector.bsv | build_dir
|
|
if ! bluetcl -exec makedepend -elab -sim $(TMP_DIRS) $(RTL_GEN_DIRS) $(BSC_COMPILATION_FLAGS) $(BSC_PATH) -o $@ $(TOPFILE); then rm -f $@ && false; fi
|
|
endif
|
|
|
|
%.bo:
|
|
$(info building $@)
|
|
bsc -elab -sim $(TMP_DIRS) $(RTL_GEN_DIRS) $(BSC_COMPILATION_FLAGS) $(BSC_PATH) $<
|
|
|
|
.PHONY: compile
|
|
compile: build_dir/Top_HW_Side.bo | build_dir
|
|
# @echo "INFO: Re-compiling Core (CPU, Caches)"
|
|
# bsc -u -elab -sim $(TMP_DIRS) $(BSC_COMPILATION_FLAGS) -p $(BSC_PATH) $(TOPFILE)
|
|
# @echo "INFO: Re-compiled Core (CPU, Caches)"
|
|
|
|
# ================================================================
|
|
# Compile and link Bluesim intermediate files into a Bluesim executable
|
|
|
|
SIM_EXE_FILE = exe_HW_sim
|
|
|
|
BSC_C_FLAGS += \
|
|
-Xl -v \
|
|
-Xc -O1 -Xc++ -O1 \
|
|
|
|
# socket_packet_utils.c is only necessary if RVFI_DII is defined, as it's the bridge that allows
|
|
# RVFI injection/trace retrieval, but we can compile+link it no matter what.
|
|
|
|
# For Bluespec_2019.05.beta2-debian9stretch-amd64
|
|
# you may have to remove the line: -Xc++ -D_GLIBCXX_USE_CXX11_ABI=0
|
|
|
|
.PHONY: simulator
|
|
simulator: build_dir/Top_HW_Side.bo
|
|
@echo "INFO: linking bsc-compiled objects into Bluesim executable"
|
|
bsc -sim -parallel-sim-link 8 +RTS -K128M -RTS \
|
|
$(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"
|
|
|
|
# ================================================================
|