Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-02-02 17:55:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Check that WALLY is set in linux Makefile

Browse Source
This commit is contained in:
Jordan Carlin 2025-01-23 00:44:38 -08:00
parent c854da75f9
commit be6f1d9a2b
No known key found for this signature in database
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
linux/Makefile
View File

@ -28,7 +28,7 @@ BOOTMEM_FILE := ${LINUX_TESTVECTORS}/bootmem.bin
all: check_write_permissions clean config build disassemble install dumptvs all: check_write_permissions clean config build disassemble install dumptvs
# Check if the environment variables are set correctly # Check if the environment variables are set correctly
check_environment: $(RISCV) check_environment: $(RISCV) $(WALLY)
ifeq ($(findstring :$(RISCV)/lib:,:$(LD_LIBRARY_PATH):),) ifeq ($(findstring :$(RISCV)/lib:,:$(LD_LIBRARY_PATH):),)
@(echo "ERROR: Your environment variables are not set correctly." >&2 \ @(echo "ERROR: Your environment variables are not set correctly." >&2 \
&& echo "Make sure to source setup.sh or install buildroot using the wally-tool-chain-install.sh script." >&2 \ && echo "Make sure to source setup.sh or install buildroot using the wally-tool-chain-install.sh script." >&2 \
@ -132,3 +132,7 @@ clean:
$(RISCV): $(RISCV):
@ echo "ERROR: No $(RISCV) directory. Make sure you have installed the Wally Toolchain." @ echo "ERROR: No $(RISCV) directory. Make sure you have installed the Wally Toolchain."
@ echo "and sourced setup.sh" @ echo "and sourced setup.sh"
# Check if the WALLY environment variable is set
$(WALLY):
@ echo "ERROR: $$WALLY is not set. Make sure you have sourced setup.sh"