Skip to content

Commit

Permalink
Add cvw-arch-verif to main Makefile
Browse files Browse the repository at this point in the history
  • Loading branch information
jordancarlin committed Nov 25, 2024
1 parent 7be6311 commit 55fb7e0
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,9 @@ MAKEFLAGS += --output-sync --no-print-directory

SIM = ${WALLY}/sim

.PHONY: all riscof testfloat combined_IF_vectors zsbl benchmarks coremark embench coverage clean
.PHONY: all riscof testfloat combined_IF_vectors zsbl benchmarks coremark embench coverage cvw-arch-verif clean

all: riscof testfloat combined_IF_vectors zsbl coverage # benchmarks
all: riscof testfloat combined_IF_vectors zsbl coverage cvw-arch-verif # benchmarks

# riscof builds the riscv-arch-test and wally-riscv-arch-test suites
riscof:
Expand Down Expand Up @@ -36,6 +36,10 @@ embench:
coverage:
$(MAKE) -C tests/coverage

cvw-arch-verif:
$(MAKE) -C ${WALLY}/addins/cvw-arch-verif

clean:
$(MAKE) clean -C sim
$(MAKE) clean -C ${WALLY}/tests/fp
$(MAKE) clean -C ${WALLY}/addins/cvw-arch-verif

0 comments on commit 55fb7e0

Please sign in to comment.