makefile: Add check_vunit

Allow newly added vuint run script to be run via make. Also integrate
with DOCKER/PODMAN=1.

Signed-off-by: Michael Neuling <mikey@neuling.org>

diff --git a/Makefile b/Makefile
index b40787c7fbf803fa98a8bab9fa8ca9fedba0581d..f57d33379a05c6e8f8230a3cf2cee597161376ad 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,7 @@ YOSYS     ?= yosys
 NEXTPNR   ?= nextpnr-ecp5
 ECPPACK   ?= ecppack
 OPENOCD   ?= openocd
+VUNITRUN  ?= python3 ./run.py
 
 # We need a version of GHDL built with either the LLVM or gcc backend.
 # Fedora provides this, but other distros may not. Another option is to use
@@ -37,8 +38,11 @@ YOSYS     = $(DOCKERBIN) $(DOCKERARGS) hdlc/ghdl:yosys yosys
 NEXTPNR   = $(DOCKERBIN) $(DOCKERARGS) hdlc/nextpnr:ecp5 nextpnr-ecp5
 ECPPACK   = $(DOCKERBIN) $(DOCKERARGS) hdlc/prjtrellis ecppack
 OPENOCD   = $(DOCKERBIN) $(DOCKERARGS) --device /dev/bus/usb hdlc/prog openocd
+VUNITRUN  = $(DOCKERBIN) $(DOCKERARGS) ghdl/vunit:llvm python3 ./run.py
 endif
 
+VUNITARGS += -p10
+
 all = core_tb icache_tb dcache_tb dmi_dtm_tb \
        wishbone_bram_tb soc_reset_tb
 
@@ -220,6 +224,9 @@ tests_console = $(sort $(patsubst tests/%.console_out,%,$(wildcard tests/*.conso
 
 tests_console: $(tests_console)
 
+check_vunit:
+       $(VUNITRUN) $(VUNITARGS)
+
 check: $(tests) tests_console test_micropython test_micropython_long tests_unit
 
 check_light: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 test_micropython test_micropython_long tests_console tests_unit