From bc59bfd47c891c16a5cbd01e72109b2377b24da4 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Sat, 21 Mar 2020 12:12:27 +0100
Subject: [PATCH] Symplifing Makefile targets

---
 alu/Makefile     | 10 ++--------
 vai_reg/Makefile | 10 ++--------
 2 files changed, 4 insertions(+), 16 deletions(-)

diff --git a/alu/Makefile b/alu/Makefile
index 0b56f53..6797133 100644
--- a/alu/Makefile
+++ b/alu/Makefile
@@ -1,16 +1,10 @@
 DUT := alu
 
-.PHONY: cover prove all clean
+.PHONY: cover bmc prove all clean
 
 all: cover bmc prove
 
-cover: ${DUT}.vhd symbiyosys.sby
-	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
-
-bmc: ${DUT}.vhd symbiyosys.sby
-	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
-
-prove: ${DUT}.vhd symbiyosys.sby
+cover bmc prove: ${DUT}.vhd symbiyosys.sby
 	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
 
 clean:
diff --git a/vai_reg/Makefile b/vai_reg/Makefile
index 7545589..c0fd71a 100644
--- a/vai_reg/Makefile
+++ b/vai_reg/Makefile
@@ -1,16 +1,10 @@
 DUT := vai_reg
 
-.PHONY: cover prove all clean
+.PHONY: cover bmc prove all clean
 
 all: cover bmc prove
 
-cover: ${DUT}.vhd symbiyosys.sby
-	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
-
-bmc: ${DUT}.vhd symbiyosys.sby
-	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
-
-prove: ${DUT}.vhd symbiyosys.sby
+cover bmc prove: ${DUT}.vhd symbiyosys.sby
 	sby --yosys "yosys -m ghdl" -f -d work/${DUT}-$@ symbiyosys.sby $@
 
 clean: