commit afbb1601246c336b1c1e6cd87ecd85d9be8aa4d5
author Jeff DiCorpo <42048757+jeffdi@users.noreply.github.com> Fri Mar 04 08:50:28 2022 -0800
committer GitHub <noreply@github.com> Fri Mar 04 08:50:28 2022 -0800
tree e906a9f4d8554c199c2c74735ab25f54d014da0a
parent c2246f4feea7ef009274a759820e65d3e586dd0a
parent 17c43a6d44a469e7f6397e2fdba068c6bfa439fb

Merge pull request #92 from efabless/marwaneltoukhy-patch-1

Add target to make run simulation on all testbenches

Makefile

diff --git a/Makefile b/Makefile
index f8f844c..c7e95e5 100644
--- a/Makefile
+++ b/Makefile
@@ -92,8 +92,14 @@
 .PHONY: harden
 harden: $(blocks)
 
-.PHONY: verify
-verify: $(dv-targets)
+.PHONY: verify-all-rtl
+verify-all-rtl: $(dv-targets-rtl)
+
+.PHONY: verify-all-gl
+verify-all-gl: $(dv-targets-gl)
+
+.PHONY: verify-all-gl-sdf
+verify-all-gl-sdf: $(dv-targets-gl-sdf)
 
 $(dv-targets-rtl): SIM=RTL
 $(dv-targets-rtl): verify-%-rtl: $(dv_base_dependencies)