Add zsbl to makefile

This commit is contained in:
Jordan Carlin 2024-08-08 20:53:40 -07:00
parent 16e2d65865
commit 3a4018fa3d
No known key found for this signature in database
2 changed files with 7 additions and 1 deletions

2
.gitignore vendored
View File

@ -106,6 +106,8 @@ sim/sd_model.log
fpga/src/sdc/*
fpga/src/sdc.tar.gz
fpga/src/CopiedFiles_do_not_add_to_repo/*
fpga/src/boot.mem
fpga/src/data.mem
sim/branch.log
/fpga/generator/sim/imp-funcsim.v
/fpga/generator/sim/imp-timesim.sdf

View File

@ -6,6 +6,7 @@ SIM = ${WALLY}/sim
all:
make riscof
make zsbl
make testfloat
# make verify
# make coverage
@ -20,6 +21,9 @@ testfloat:
cd ${WALLY}/addins/TestFloat-3e/build/Linux-x86_64-GCC; make
cd ${WALLY}/tests/fp; ./create_all_vectors.sh
zsbl:
$(MAKE) -C ${WALLY}/fpga/zsbl
verify:
cd ${SIM}; ./regression-wally
cd ${SIM}/sim; ./sim-testfloat-batch all