Removed all .PHONY targets and added recipe for simulate

Author: zainrizwan-10xe

Diff for: Makefile

@@ -4,19 +4,20 @@ REGR := regr
 REGR-DIR := $(dir $(DV_AZADI)/$(REGR)/)
 gen-regr := $(REGR-DIR)
 
+all: simulate
+
+.PHONY: all
+
 $(gen-regr): %:
 	mkdir -p $@
 
-.PHONY: all
-all: env verify
+setup: env verify
 
-.PHONY: env
 env: google_riscv-dv azadi-new
 
 $(DV_AZADI)/google_riscv-dv:
 	git clone https://github.com/google/riscv-dv.git $(DV_AZADI)/google_riscv-dv
 
-.PHONY: google_riscv-dv
 google_riscv-dv: check-env $(DV_AZADI)/google_riscv-dv
 	cd $(DV_AZADI)/google_riscv-dv && \
 		git checkout master && git pull && \
@@ -26,22 +27,18 @@ google_riscv-dv: check-env $(DV_AZADI)/google_riscv-dv
 $(DV_AZADI)/azadi-new:
 	git clone https://github.com/merledu/azadi-new.git $(DV_AZADI)/azadi-new
 
-.PHONY: azadi-new
 azadi-new: check-env $(DV_AZADI)/azadi-new
 	cd $(DV_AZADI)/azadi-new && \
 		git checkout main && git pull && \
 		git checkout -qf $(AZADI_COMMIT)
 
-.PHONY: verify
 verify: $(gen-regr)
 	cd $(DV_AZADI)/regr && \
-	make -f $(DV_AZADI)/azadi-verify/env/core/vendor/core_ibex/Makefile \
-		TEST=riscv_arithmetic_basic_test \
-		ITERATIONS=1
+	make -f $(DV_AZADI)/azadi-verify/env/core/vendor/core_ibex/Makefile TEST=riscv_arithmetic_basic_test ITERATIONS=1
 
+simulate:
+	make -f $(DV_AZADI)/azadi-verify/env/core/vendor/core_ibex/Makefile
 
-# echo "verify"
-# $(info $$DV_AZADI is [${DV_AZADI}])
 
 check-env:
 ifndef DV_AZADI