From f21f8ed249030032f4b0a99c0fcd7e210ddb2e1b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 10 Jul 2021 21:06:31 +0200
Subject: Add more documentation and clean up benchmarks

---
 benchmarks/polybench-syn/common.mk | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 benchmarks/polybench-syn/common.mk

(limited to 'benchmarks/polybench-syn/common.mk')

diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk
new file mode 100644
index 0000000..6508855
--- /dev/null
+++ b/benchmarks/polybench-syn/common.mk
@@ -0,0 +1,26 @@
+VERICERT ?= vericert
+VERICERT_OPTS ?= -DSYNTHESIS
+
+IVERILOG ?= iverilog
+IVERILOG_OPTS ?=
+
+%.v: %.c
+	$(VERICERT) $(VERICERT_OPTS) $< -o $@
+
+%.iver: %.v
+	$(IVERILOG) $(IVERILOG_OPTS) $< -o $@
+
+%.gcc: %.c
+	$(CC) $(CFLAGS) $< -o $@
+
+%: %.iver %.gcc
+	cp $< $@
+
+clean:
+	rm -f *.iver
+	rm -f *.v
+	rm -f *.gcc
+
+.PRECIOUS: %.v
+.PHONY: all clean
+.SUFFIXES:
-- 
cgit 


From 6797b6b0472e87c1ef5edb84f81a16b73577f754 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 10 Jul 2021 21:12:37 +0200
Subject: Fix Makefiles slightly

---
 benchmarks/polybench-syn/common.mk | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'benchmarks/polybench-syn/common.mk')

diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk
index 6508855..7e14602 100644
--- a/benchmarks/polybench-syn/common.mk
+++ b/benchmarks/polybench-syn/common.mk
@@ -4,6 +4,8 @@ VERICERT_OPTS ?= -DSYNTHESIS
 IVERILOG ?= iverilog
 IVERILOG_OPTS ?=
 
+TARGETS ?=
+
 %.v: %.c
 	$(VERICERT) $(VERICERT_OPTS) $< -o $@
 
@@ -16,11 +18,14 @@ IVERILOG_OPTS ?=
 %: %.iver %.gcc
 	cp $< $@
 
+all: $(TARGETS)
+
 clean:
 	rm -f *.iver
 	rm -f *.v
 	rm -f *.gcc
+	rm -f $(TARGETS)
 
-.PRECIOUS: %.v
+.PRECIOUS: %.v %.gcc %.iver
 .PHONY: all clean
 .SUFFIXES:
-- 
cgit 


From c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 11 Jul 2021 01:34:00 +0200
Subject: Fix some more of the benchmarks

---
 benchmarks/polybench-syn/common.mk | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'benchmarks/polybench-syn/common.mk')

diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk
index 7e14602..fbada0b 100644
--- a/benchmarks/polybench-syn/common.mk
+++ b/benchmarks/polybench-syn/common.mk
@@ -10,7 +10,7 @@ TARGETS ?=
 	$(VERICERT) $(VERICERT_OPTS) $< -o $@
 
 %.iver: %.v
-	$(IVERILOG) $(IVERILOG_OPTS) $< -o $@
+	$(IVERILOG) -o $@ $(IVERILOG_OPTS) $<
 
 %.gcc: %.c
 	$(CC) $(CFLAGS) $< -o $@
@@ -24,6 +24,8 @@ clean:
 	rm -f *.iver
 	rm -f *.v
 	rm -f *.gcc
+	rm -f *.clog
+	rm -f *.tmp
 	rm -f $(TARGETS)
 
 .PRECIOUS: %.v %.gcc %.iver
-- 
cgit