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

Add target to make run simulation on all testbenches
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)