Remove old quad64 makefile target

This commit is contained in:
Jordan Carlin 2025-05-08 01:01:08 -07:00
parent 769172334d
commit d1958b05e0
No known key found for this signature in database

View file

@ -13,7 +13,7 @@ wally_workdir := $(work)/wally-riscv-arch-test
current_dir := $(shell pwd)
# General make rules
.PHONY: all riscv-arch-test wally-riscv-arch-test quad64 clean
.PHONY: all riscv-arch-test wally-riscv-arch-test clean
all: riscv-arch-test wally-riscv-arch-test
riscv-arch-test: arch32e arch32 arch64
wally-riscv-arch-test: wally32 wally64
@ -34,10 +34,6 @@ wally%: config$$*.ini | $(work_dir) $(wally_workdir)
$(MAKE) -f makefile-memfile WORKDIR=$(work_dir)/$@
rsync -a $(work_dir)/$@/rv*/* $(wally_workdir)/rv$(patsubst %64,%64i,$(patsubst %32,%32i,$*))_m || echo "error suppressed"
quad64: config64.ini $(wally_dir)/riscv-test-suite/rv64i_m/Q/riscv-ctg/tests | $(work_dir)
riscof run --work-dir=$(work_dir)/$@ --config=$< --suite=$(wally_dir)/riscv-test-suite/rv64i_m/Q/riscv-ctg/tests/ --env=$(wally_dir)/riscv-test-suite/env
$(MAKE) -f makefile-memfile WORKDIR=$(work_dir)/$@
clean:
rm -f config??*.ini
rm -rf $(work_dir)